2006-11-29 | wenzelm | reworked notes: towards proper import/export of proof terms; | changeset | files |
2006-11-29 | wenzelm | removed export_standard_morphism; | changeset | files |
2006-11-29 | wenzelm | renamed SIMPLE_METHOD' to SIMPLE_METHOD''; | changeset | files |
2006-11-29 | wenzelm | added export; | changeset | files |
Loading... |