| Tue, 17 Aug 2010 19:36:39 +0200 | haftmann | more antiquotations | file | diff | annotate |
| Sat, 29 Aug 2009 12:01:25 +0200 | wenzelm | eliminated hard tabs; | file | diff | annotate |
| Thu, 09 Jul 2009 22:09:58 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Mon, 23 Jun 2008 15:51:37 +0200 | wenzelm | removed obsolete dest_concls; | file | diff | annotate |
| Thu, 04 Oct 2001 14:49:38 +0200 | wenzelm | added dest_conj, dest_concls; | file | diff | annotate |
| Fri, 03 Nov 2000 21:31:53 +0100 | wenzelm | removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML); | file | diff | annotate |
| Tue, 05 Sep 2000 18:45:51 +0200 | wenzelm | added not; | file | diff | annotate |