| Sun, 18 May 2008 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:24 +0200 |
wenzelm |
val theory = ThyInfo.get_theory;
|
file |
diff |
annotate
|
| Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 14:41:13 +0100 |
wenzelm |
implicit setup of emerging theory Pure;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2007 16:13:41 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:26 +0200 |
wenzelm |
renamed Syntax.XXX_mode to Syntax.mode_XXX;
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 18:10:19 +0200 |
wenzelm |
moved appl syntax to PureThy;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2007 20:19:50 +0200 |
wenzelm |
theory loader: removed obsolete update_thy (coincides with use_thy);
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 16:00:02 +0200 |
wenzelm |
added ML toplevel use commands: Toplevel.program;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 13:19:47 +0200 |
wenzelm |
Pure theory setup.
|
file |
diff |
annotate
|