Fri, 19 Jan 2007 22:08:10 +0100 | wenzelm | moved parts of OuterParse to SpecParse; | changeset | files |
Fri, 19 Jan 2007 22:08:08 +0100 | wenzelm | moved parts of OuterParse to SpecParse; | changeset | files |
Fri, 19 Jan 2007 22:08:07 +0100 | wenzelm | HOL-Lambda: usedir -m no_brackets; | changeset | files |