boehmes [Mon, 14 Dec 2009 09:53:34 +0100] rev 34080
also sort verification conditions before printing
boehmes [Sun, 13 Dec 2009 23:37:37 +0100] rev 34079
print assertions in a more natural order
wenzelm [Fri, 11 Dec 2009 22:31:24 +0100] rev 34078
removed unique ids -- now in session.scala;
wenzelm [Fri, 11 Dec 2009 20:44:33 +0100] rev 34077
merged
wenzelm [Fri, 11 Dec 2009 20:44:15 +0100] rev 34076
Subgoal.FOCUS (and variants): resulting goal state is normalized as usual for resolution;
tuned;
wenzelm [Fri, 11 Dec 2009 20:43:41 +0100] rev 34075
Subgoal.FOCUS etc.: resulting goal state is normalized as usual for resolution;
haftmann [Fri, 11 Dec 2009 20:32:58 +0100] rev 34074
merged
haftmann [Fri, 11 Dec 2009 20:32:49 +0100] rev 34073
repaired accident: do not forget module contents if there are no imports
haftmann [Fri, 11 Dec 2009 20:32:49 +0100] rev 34072
option width for Code_Target.code_of
haftmann [Fri, 11 Dec 2009 20:32:49 +0100] rev 34071
default_code_width is now proper theory data