| Wed, 16 Apr 2008 17:40:38 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 16 Apr 2008 11:24:09 +0200 | berghofe | Added entry for unused_thms command. | changeset | files |
| Wed, 16 Apr 2008 11:01:30 +0200 | berghofe | Adapted to new primrec package. | changeset | files |
| Wed, 16 Apr 2008 10:57:46 +0200 | berghofe | Added add_primrec_global and add_primrec_overloaded functions (thanks to Markus). | changeset | files |