| 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 |
| Tue, 05 Dec 2006 22:14:41 +0100 | wenzelm | removed duplicate abbreviations (implicit inheritance); | changeset | files |
| Tue, 05 Dec 2006 22:14:39 +0100 | wenzelm | restored notation for less/less_eq (observe proper order of mixfix annotations!); | changeset | files |