| Sun, 30 Sep 2007 16:20:38 +0200 | wenzelm | add_consts_authentic/add_abbrev: tags (Markup.property list); | changeset | files |
| Sun, 30 Sep 2007 16:20:37 +0200 | wenzelm | Markup.internalK; | changeset | files |
| Sun, 30 Sep 2007 16:20:35 +0200 | wenzelm | print_theory: observe Markup.internal_property of consts, discontinued special treatment of internal names elsewhere; | changeset | files |
| Sun, 30 Sep 2007 16:20:35 +0200 | wenzelm | added properties_of; | changeset | files |
| Sun, 30 Sep 2007 16:20:34 +0200 | wenzelm | maintain tags (Markup.property list); | changeset | files |
| Sun, 30 Sep 2007 16:20:33 +0200 | wenzelm | skofuns/absfuns: explicit markup as internal consts; | changeset | files |