| Sun, 18 May 2008 17:04:48 +0200 | wenzelm | updated generated file; | changeset | files |
| Sun, 18 May 2008 17:03:26 +0200 | wenzelm | unparse_term: check PureThy.old_appl_syntax instead of CPure; | changeset | files |
| Sun, 18 May 2008 17:03:24 +0200 | wenzelm | theory Pure provides regular application syntax by default; | changeset | files |