| Fri, 18 Feb 2011 16:22:27 +0100 | wenzelm | more precise headers; | file | diff | annotate |
| Fri, 23 Apr 2010 23:35:43 +0200 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
| Thu, 09 Jul 2009 22:09:58 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Sun, 22 Jul 2007 22:01:30 +0200 | wenzelm | turned ex/prop.ML, ex/quant.ML into proper theories; | file | diff | annotate |