Commit Graph

2 Commits

Author SHA1 Message Date
Petko Bordjukov
d279ab6f0d Remove the PropositionAccepting abstraction 2015-08-14 23:58:51 +03:00
Petko Bordjukov
cc4f1e9c13 Introduce the Proposition model
Introduce an abstraction that is going to be used to propose models for
other models that can accept propositions.
2015-04-17 02:03:07 +03:00