| 2012-03-15 | paulson | replacing ":" by "\<in>" | file | diff | annotate |
| 2012-03-06 | paulson | Using mathematical notation for <-> and cardinal arithmetic | file | diff | annotate |
| 2012-03-06 | paulson | mathematical symbols instead of ASCII | file | diff | annotate |
| 2010-03-13 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| 2007-10-07 | wenzelm | modernized specifications; | file | diff | annotate |
| 2007-10-07 | wenzelm | replaced some 'translations' by 'abbreviation'; | file | diff | annotate |
| 2007-05-31 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |
| 1996-02-06 | clasohm | expanded tabs | file | diff | annotate |
| 1995-12-09 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| 1995-06-22 | clasohm | removed \...\ inside strings | file | diff | annotate |
| 1994-11-28 | lcp | replaced "rules" by "defs" | file | diff | annotate |
| 1994-08-16 | lcp | ZF/ex/Equiv.thy,.ML: moved to main directory as EquivClass.thy,.ML | file | diff | annotate |