2011-05-17 blanchet more work on "shallow" encoding + adjustments to other encodings
2011-05-17 blanchet generate type classes predicates in new "shallow" encoding
2011-05-17 blanchet started implementing "shallow" type systems, based on ideas by Claessen et al.
2011-05-17 blanchet added syntax for "shallow" encodings
2011-05-17 blanchet provide isabellep as a method
2011-05-17 blanchet append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism
2011-05-16 wenzelm tuned;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip