| Wed, 07 Feb 2007 18:07:10 +0100 | berghofe | Added meta_spec to extraction_expand. | file | diff | annotate |
| Tue, 10 Oct 2006 10:34:41 +0200 | haftmann | added eq_True eq_False True_implies_equals to extraction_expand | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Fri, 23 Dec 2005 18:36:26 +0100 | wenzelm | removed obsolete induct_atomize_old; | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:34 +0100 | wenzelm | updated auxiliary facts for induct method; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:40 +0200 | wenzelm | refer to theory instead of low-level tsig; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |