Site
/
clarion
11
0
Fork 0
Code Issues 4 Pull Requests 1 Packages Projects Releases Wiki Activity
654 Commits 13 Branches 1 Tag 2.1 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Petko Bordjukov e20861689f Mechanical standard.rb changes 2019-04-28 22:02:02 +03:00
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