Fri, 17 Jun 2005 18:33:13 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
Fri, 17 Jun 2005 18:33:12 +0200 | wenzelm | refer to HOL4_PROOFS setting; | changeset | files |
Fri, 17 Jun 2005 18:33:11 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
Fri, 17 Jun 2005 18:33:08 +0200 | wenzelm | accomodate identification of type Sign.sg and theory; | changeset | files |
Fri, 17 Jun 2005 18:33:05 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
Fri, 17 Jun 2005 18:33:03 +0200 | wenzelm | renamed sg_ref to thy_ref; | changeset | files |
Fri, 17 Jun 2005 18:33:03 +0200 | wenzelm | obsolete; | changeset | files |