2010-03-02 | wenzelm | proper (type_)notation; | file | diff | annotate |
2010-02-11 | wenzelm | numeral syntax: clarify parse trees vs. actual terms; | file | diff | annotate |
2009-10-17 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
2007-10-07 | wenzelm | modernized specifications; | file | diff | annotate |
2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
2003-07-10 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | file | diff | annotate |
2003-07-09 | paulson | converting more theories to Isar scripts, and tidying | file | diff | annotate |
2003-07-08 | paulson | Conversion of ZF/UNITY/{FP,Union} to Isar script. | file | diff | annotate |
2001-11-15 | ehmety | *** empty log message *** | file | diff | annotate |
2001-11-08 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
2001-08-08 | paulson | new ZF/UNITY theory | file | diff | annotate |