| Wed, 08 Oct 1997 12:15:59 +0200 | wenzelm | symbols syntax; | changeset | files |
| Wed, 08 Oct 1997 11:50:33 +0200 | wenzelm | A formalization of TLA in HOL -- by Stephan Merz; | changeset | files |
| Tue, 07 Oct 1997 18:02:42 +0200 | wenzelm | improved types of add_XXX funs (xtyp etc.); | changeset | files |
| Tue, 07 Oct 1997 18:02:02 +0200 | wenzelm | improved types of add_XXX funs (xtyp etc.); | changeset | files |
| Tue, 07 Oct 1997 17:58:50 +0200 | wenzelm | tuned decode; | changeset | files |
| Tue, 07 Oct 1997 17:58:01 +0200 | wenzelm | tuned internal mapping table; | changeset | files |
| Tue, 07 Oct 1997 17:08:48 +0200 | wenzelm | tuned; | changeset | files |