Commit Graph

1 Commits

Author SHA1 Message Date
Patrick Lühne 64c9a741c4
Added example with simple propositions. 2017-06-12 15:42:23 +02:00