Tue, 27 Apr 1999 15:13:18 +0200 | wenzelm | verbose flag; | changeset | files |
Tue, 27 Apr 1999 15:12:34 +0200 | wenzelm | use_thy_only made pervasive; | changeset | files |
Tue, 27 Apr 1999 15:10:36 +0200 | wenzelm | added Isar_examples/NatSum.thy; | changeset | files |