| Fri, 17 Jun 2005 18:33:16 +0200 | wenzelm | Context.theory_name; | changeset | files |
| Fri, 17 Jun 2005 18:33:15 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
| Fri, 17 Jun 2005 18:33:14 +0200 | wenzelm | replaced obsolete theory_of_sign by theory_of_thm; | changeset | files |
| 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 |