2008-07-25 | haftmann | dropped locale (open) | file | diff | annotate |
2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
2002-07-10 | paulson | Fixed quantified variable name preservation for ball and bex (bounded quants) | file | diff | annotate |
2002-01-21 | paulson | lexical tidying | file | diff | annotate |
2002-01-16 | paulson | Isar version of AC | file | diff | annotate |
1997-01-03 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
1995-07-25 | lcp | Numerous small improvements by KG and LCP | file | diff | annotate |