| 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 |