| Wed, 29 Apr 1998 11:29:39 +0200 | wenzelm | tuned setup; | file | diff | annotate |
| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | file | diff | annotate |
| Mon, 03 Nov 1997 12:26:45 +0100 | wenzelm | added simpset thy_data; | file | diff | annotate |
| Mon, 20 Oct 1997 10:38:36 +0200 | wenzelm | local; | file | diff | annotate |
| Thu, 16 Oct 1997 15:33:06 +0200 | wenzelm | global; | file | diff | annotate |
| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 10 Dec 1996 13:03:44 +0100 | wenzelm | fixed pris of binder syntax; | file | diff | annotate |
| Wed, 27 Nov 1996 16:42:48 +0100 | wenzelm | symbol names changes; | file | diff | annotate |
| Mon, 18 Nov 1996 17:33:35 +0100 | wenzelm | added symbolfont syntax; | file | diff | annotate |
| Tue, 07 Nov 1995 12:58:17 +0100 | clasohm | removed quotes from types in consts section | file | diff | annotate |
| Thu, 05 Oct 1995 14:45:54 +0100 | clasohm | corrected title | file | diff | annotate |
| Tue, 07 Mar 1995 13:15:25 +0100 | lcp | Moved declaration of ~= to a syntax section | file | diff | annotate |
| 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 |