Commit Graph

1 Commits

Author SHA1 Message Date
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