| Thu, 12 Oct 2000 17:28:18 +0200 | wenzelm | removed nonsensical print statement; | file | diff | annotate |
| Thu, 13 Jul 2000 23:14:15 +0200 | wenzelm | adapted PureThy.add_defs; | file | diff | annotate |
| Tue, 18 Apr 2000 00:49:49 +0200 | wenzelm | renamed 'hide' to 'hide_action'; | file | diff | annotate |
| Mon, 13 Mar 2000 13:28:31 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | file | diff | annotate |
| Wed, 05 Jan 2000 11:56:04 +0100 | wenzelm | replaced HOLogic.termTVar by HOLogic.termT; | file | diff | annotate |
| Mon, 19 Jul 1999 16:47:24 +0200 | wenzelm | renamed 'with' to 'using'; | file | diff | annotate |
| Mon, 24 May 1999 21:57:13 +0200 | wenzelm | outer syntax keyword classification; | file | diff | annotate |
| Mon, 26 Apr 1999 10:44:45 +0200 | wenzelm | tuned msgs; | file | diff | annotate |
| Thu, 22 Apr 1999 11:00:30 +0200 | mueller | added frontend syntax for IOA, moved trivial examples to folder ex; | file | diff | annotate |