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 |
Tue, 17 May 2011 15:11:36 +0200 | blanchet | append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism | changeset | files |