| Thu, 17 Mar 1994 11:24:31 +0100 | clasohm | adapted type definition to new syntax | file | diff | annotate |
| Mon, 25 Oct 1993 12:32:53 +0100 | wenzelm | added white-space; | file | diff | annotate |
| Thu, 07 Oct 1993 09:47:47 +0100 | lcp | ifol.thy: added ~= for "not equals" | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |