| Fri, 28 Jan 2000 12:04:17 +0100 | wenzelm | tuned sig; | changeset | files |
| Fri, 28 Jan 2000 12:03:59 +0100 | wenzelm | map data; | changeset | files |
| Fri, 28 Jan 2000 11:23:41 +0100 | oheimb | added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED | changeset | files |
| Fri, 28 Jan 2000 11:22:02 +0100 | oheimb | beautified spacing for binders with symbols syntax, analogous to HOL.thy | changeset | files |
| Thu, 27 Jan 2000 15:30:10 +0100 | oheimb | *** empty log message *** | changeset | files |
| Wed, 26 Jan 2000 21:12:40 +0100 | wenzelm | 'name' etc. include 'number'; | changeset | files |
| Wed, 26 Jan 2000 21:10:27 +0100 | wenzelm | 'name' syntax includes numbers; | changeset | files |