| 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 |