| Fri, 19 Feb 2010 22:06:52 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Fri, 19 Feb 2010 22:06:01 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 19 Feb 2010 21:31:14 +0100 | wenzelm | authentic term syntax; | changeset | files |
| Fri, 19 Feb 2010 20:41:34 +0100 | wenzelm | Thm.def_binding; | changeset | files |
| Fri, 19 Feb 2010 20:39:48 +0100 | wenzelm | moved ancient Drule.get_def to OldGoals.get_def; | changeset | files |
| Fri, 19 Feb 2010 17:37:33 +0100 | Cezary Kaliszyk | quote the constant and theorem name with @{text} | changeset | files |
| Fri, 19 Feb 2010 17:03:53 +0100 | wenzelm | merged | changeset | files |
| Fri, 19 Feb 2010 16:49:23 +0100 | wenzelm | merged | changeset | files |