Fri, 17 Jun 2005 18:35:27 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
Fri, 17 Jun 2005 18:33:42 +0200 | wenzelm | Context.names_of; | changeset | files |
Fri, 17 Jun 2005 18:33:41 +0200 | wenzelm | * Pure/TheoryDataFun: change of the argument structure; | changeset | files |