| 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 |