src/ZF/AC/AC17_AC1.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-08-28 skalberg 2003-08-28 Extended the notion of letter and digit, such that now one may use greek, gothic, euler, or calligraphic letters as normal letters.
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2002-02-15 paulson 2002-02-15 a new definition of "restrict"
2002-01-16 paulson 2002-01-16 Isar version of AC
1995-06-22 clasohm 1995-06-22 removed \...\ inside strings
1995-05-18 lcp 1995-05-18 Krzysztof Grabczewski's (nearly) complete AC proofs