1994-03-17 | clasohm | adapted type definition to new syntax | file | diff | annotate |
1993-10-25 | wenzelm | added white-space; | file | diff | annotate |
1993-10-07 | lcp | ifol.thy: added ~= for "not equals" | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |