| Mon, 14 Dec 2009 10:13:06 +0100 | haftmann | made sml/nj happy | changeset | files |
| Mon, 14 Dec 2009 09:53:34 +0100 | boehmes | also sort verification conditions before printing | changeset | files |
| Sun, 13 Dec 2009 23:37:37 +0100 | boehmes | print assertions in a more natural order | changeset | files |
| Fri, 11 Dec 2009 22:31:24 +0100 | wenzelm | removed unique ids -- now in session.scala; | changeset | files |
| Fri, 11 Dec 2009 20:44:33 +0100 | wenzelm | merged | changeset | files |
| Fri, 11 Dec 2009 20:44:15 +0100 | wenzelm | Subgoal.FOCUS (and variants): resulting goal state is normalized as usual for resolution; | changeset | files |
| Fri, 11 Dec 2009 20:43:41 +0100 | wenzelm | Subgoal.FOCUS etc.: resulting goal state is normalized as usual for resolution; | changeset | files |
| Fri, 11 Dec 2009 20:32:58 +0100 | haftmann | merged | changeset | files |