Thu, 12 Jul 2007 00:15:35 +0200 | wenzelm | Parsing theory sources without execution (via keyword classification). | changeset | files |
Thu, 12 Jul 2007 00:15:34 +0200 | wenzelm | exported command_keyword; | changeset | files |
Thu, 12 Jul 2007 00:15:30 +0200 | wenzelm | command 'declare': proper thy_decl; | changeset | files |