| 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 |
| Fri, 11 Dec 2009 20:32:49 +0100 | haftmann | repaired accident: do not forget module contents if there are no imports | changeset | files |
| Fri, 11 Dec 2009 20:32:49 +0100 | haftmann | option width for Code_Target.code_of | changeset | files |
| Fri, 11 Dec 2009 20:32:49 +0100 | haftmann | default_code_width is now proper theory data | changeset | files |
| Fri, 11 Dec 2009 15:36:24 +0100 | boehmes | merged | changeset | files |