| Mon, 08 Feb 1999 17:32:24 +0100 | wenzelm | tuned msgs; | file | diff | annotate |
| Fri, 05 Feb 1999 21:01:53 +0100 | wenzelm | time_use made pervasive; | file | diff | annotate |
| Thu, 04 Feb 1999 18:18:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Feb 1999 20:25:53 +0100 | wenzelm | check_thy: include ML stamp; | file | diff | annotate |
| Wed, 03 Feb 1999 17:29:48 +0100 | wenzelm | Theory loader database: theory and file dependencies, theory values | file | diff | annotate |
| 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 |