2001-11-15 | wenzelm | depends on Epsilon! | file | diff | annotate |
2001-11-13 | wenzelm | rearranged inductive package for Isar; | file | diff | annotate |
2000-08-01 | paulson | natify, a coercion to reduce the number of type constraints in arithmetic | file | diff | annotate |
1998-12-28 | paulson | new inductive, datatype and primrec packages, etc. | 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-12-19 | lcp | removed quotes around "Inductive" | file | diff | annotate |
1994-08-25 | lcp | ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without | file | diff | annotate |
1994-08-16 | lcp | ZF/Finite: added the finite function space, A-||>B | file | diff | annotate |
1994-08-12 | lcp | installation of new inductive/datatype sections | file | diff | annotate |