| Sat, 01 Jun 2013 14:26:04 +0200 | wenzelm | permissive uncheck -- allow printing of malformed terms (e.g. in error messages); | changeset | files |
| Sat, 01 Jun 2013 14:16:10 +0200 | wenzelm | Type_Annotation only works *after* uncheck (which usually requires authentic type information); | changeset | files |
| Sat, 01 Jun 2013 12:03:37 +0200 | wenzelm | updated isatest stats; | changeset | files |
| Sat, 01 Jun 2013 12:02:41 +0200 | nipkow | tuned theory name | changeset | files |
| Sat, 01 Jun 2013 11:48:06 +0200 | nipkow | tuned rules | changeset | files |
| Fri, 31 May 2013 14:08:48 +0200 | blanchet | tuning | changeset | files |
| Fri, 31 May 2013 12:28:39 +0200 | blanchet | renamed util function | changeset | files |