| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
| Sat, 26 Nov 2011 14:14:51 +0100 |
wenzelm |
memoing of forked proofs;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 23:25:47 +0200 |
wenzelm |
maintain recent future proofs at transaction boundaries;
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 19:41:53 +0200 |
wenzelm |
hardwired mapping "_" -> "Pure.asm_rl" avoids legacy binding;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 21:42:47 +0200 |
wenzelm |
added Binding.print convenience, which includes quote already;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 21:04:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 20:58:43 +0200 |
wenzelm |
markup facts via name space;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 20:15:46 +0200 |
wenzelm |
eliminated obsolete markup -- superseded by generic "entity" markup;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 19:54:04 +0200 |
wenzelm |
report Name_Space.declare/define, relatively to context;
|
file |
diff |
annotate
|
| Wed, 02 Feb 2011 22:48:24 +0100 |
wenzelm |
tuned odd conditional expression;
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 16:05:25 +0200 |
wenzelm |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
|
file |
diff |
annotate
| base
|