Tue, 11 Mar 1997 14:21:10 +0100 | wenzelm | tr is (again) type abbrev; | changeset | files |
Tue, 11 Mar 1997 13:05:40 +0100 | wenzelm | added THIS_IS_ISABELLE_BUILD; | changeset | files |
Tue, 11 Mar 1997 13:05:11 +0100 | wenzelm | added THIS_IS_ISABELLE_BUILD discrimination; | changeset | files |