Fri, 15 Dec 2000 17:41:38 +0100 | paulson | further round of tidying | changeset | files |
Fri, 15 Dec 2000 12:32:35 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 14 Dec 2000 19:38:37 +0100 | wenzelm | 'typedef': present result theorem "type_definition Rep Abs A"; | changeset | files |
Thu, 14 Dec 2000 19:37:43 +0100 | wenzelm | tuned; | changeset | files |
Thu, 14 Dec 2000 19:37:27 +0100 | wenzelm | unsymbolize; | changeset | files |
Thu, 14 Dec 2000 19:37:09 +0100 | wenzelm | use \<Sum> from main HOL; | changeset | files |