2011-05-17 | blanchet | more work on "shallow" encoding + adjustments to other encodings | changeset | files |
2011-05-17 | blanchet | generate type classes predicates in new "shallow" encoding | changeset | files |
2011-05-17 | blanchet | started implementing "shallow" type systems, based on ideas by Claessen et al. | changeset | files |
2011-05-17 | blanchet | added syntax for "shallow" encodings | changeset | files |
2011-05-17 | blanchet | provide isabellep as a method | changeset | files |
2011-05-17 | blanchet | append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism | changeset | files |
2011-05-16 | wenzelm | tuned; | changeset | files |
Loading... |