Mon, 28 Aug 2000 20:28:44 +0200 | wenzelm | * \isabellestyle{it} produces near math mode output; | changeset | files |
Mon, 28 Aug 2000 17:02:19 +0200 | nipkow | Removed map_compose from simpset. | changeset | files |
Mon, 28 Aug 2000 16:53:35 +0200 | kleing | fixed Id string | changeset | files |