| Tue, 17 May 2011 15:11:36 +0200 | blanchet | use antiquotation | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | renamed "shallow" to "thin" and make it the default | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | more work on "shallow" encoding + adjustments to other encodings | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | generate type classes predicates in new "shallow" encoding | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | started implementing "shallow" type systems, based on ideas by Claessen et al. | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | added syntax for "shallow" encodings | changeset | files |
| Tue, 17 May 2011 15:11:36 +0200 | blanchet | provide isabellep as a method | changeset | files |