| Tue, 03 Jan 2006 00:06:30 +0100 | wenzelm | added unfolding(_i); | changeset | files |
| Tue, 03 Jan 2006 00:06:29 +0100 | wenzelm | unparse String/AltString: escape quotes; | changeset | files |
| Tue, 03 Jan 2006 00:06:28 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 03 Jan 2006 00:06:26 +0100 | wenzelm | avoid hardwired Trueprop; | changeset | files |
| Tue, 03 Jan 2006 00:06:24 +0100 | wenzelm | added 'using' command; | changeset | files |
| Tue, 03 Jan 2006 00:06:23 +0100 | wenzelm | updated; | changeset | files |
| Tue, 03 Jan 2006 00:06:22 +0100 | wenzelm | added IsarImplementation; | changeset | files |
| Tue, 03 Jan 2006 00:06:20 +0100 | wenzelm | updated -- lost update!? | changeset | files |