| Wed, 29 Jul 1998 15:38:08 +0200 | wenzelm | late setup of Pure and CPure; | file | diff | annotate |
| Tue, 28 Jul 1998 17:03:12 +0200 | wenzelm | theory_of renamed to theory (and made public); | file | diff | annotate |
| Thu, 28 May 1998 11:09:07 +0200 | wenzelm | tuned error msg; | file | diff | annotate |
| Mon, 25 May 1998 21:25:04 +0200 | wenzelm | tuned store_theory: theory -> unit; | file | diff | annotate |
| Tue, 04 Nov 1997 12:03:48 +0100 | wenzelm | removed old thy data stuff; | file | diff | annotate |
| Fri, 24 Oct 1997 17:18:25 +0200 | wenzelm | ProtoPure.thy etc.; | file | diff | annotate |
| Thu, 23 Oct 1997 12:43:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 Aug 1997 00:26:19 +0200 | berghofe | Moved functions for theory information storage / retrieval | file | diff | annotate |