Fri, 24 Oct 1997 17:13:21 +0200 | wenzelm | ProtoPure.thy; | changeset | files |
Fri, 24 Oct 1997 17:12:35 +0200 | wenzelm | tuned; | changeset | files |
Fri, 24 Oct 1997 17:12:09 +0200 | wenzelm | tuned; | changeset | files |
Fri, 24 Oct 1997 17:11:48 +0200 | wenzelm | removed add_thms_as_axms; | changeset | files |
Fri, 24 Oct 1997 17:11:23 +0200 | wenzelm | Init 'theorems' data. The Pure theories. | changeset | files |
Fri, 24 Oct 1997 17:07:34 +0200 | wenzelm | added pure_thy.ML; | changeset | files |
Fri, 24 Oct 1997 17:06:45 +0200 | wenzelm | tuned; | changeset | files |