| Tue, 05 Dec 2006 22:14:49 +0100 | wenzelm | notation/abbreviation: more serious handling of morphisms; | changeset | files |
| Tue, 05 Dec 2006 22:14:48 +0100 | wenzelm | print_syntax etc.: plain Toplevel.context_of; | changeset | files |
| Tue, 05 Dec 2006 22:14:47 +0100 | wenzelm | attribute value: morphism; | changeset | files |
| Tue, 05 Dec 2006 22:14:46 +0100 | wenzelm | add_notation: permissive about undeclared consts; | changeset | files |
| Tue, 05 Dec 2006 22:14:45 +0100 | wenzelm | added mapping_result; | changeset | files |
| Tue, 05 Dec 2006 22:14:44 +0100 | wenzelm | added ML-Systems/polyml-5.0.ML; | changeset | files |
| Tue, 05 Dec 2006 22:14:42 +0100 | wenzelm | Attrib.internal: morphism; | changeset | files |