Thu, 10 Sep 2009 16:38:18 +1000 |
Thomas Sewell |
Simplification of various aspects of the IsTuple component
|
file |
diff |
annotate
|
Thu, 10 Sep 2009 15:18:43 +1000 |
Thomas Sewell |
Record patch imported and working.
|
file |
diff |
annotate
|
Thu, 27 Aug 2009 00:40:53 +1000 |
tsewell |
Initial attempt at porting record update to repository Isabelle.
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Fri, 07 Aug 2009 19:16:04 +0200 |
wenzelm |
tuned spacing of sections;
|
file |
diff |
annotate
|
Thu, 30 Jul 2009 12:20:43 +0200 |
wenzelm |
qualified Subgoal.FOCUS;
|
file |
diff |
annotate
|
Sun, 26 Jul 2009 20:38:11 +0200 |
wenzelm |
replaced old METAHYPS by FOCUS;
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 01:03:18 +0200 |
wenzelm |
proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
|
file |
diff |
annotate
|
Thu, 02 Jul 2009 17:34:14 +0200 |
wenzelm |
renamed NamedThmsFun to Named_Thms;
|
file |
diff |
annotate
|
Fri, 19 Jun 2009 17:23:21 +0200 |
haftmann |
discontinued ancient tradition to suffix certain ML module names with "_package"
|
file |
diff |
annotate
| base
|