2000-09-22 | wenzelm | AddXIs [equal_intr_rule]; | changeset | files |
2000-09-22 | kleing | added HTML syntax; added spaces in normal syntax for better documents | changeset | files |
2000-09-22 | kleing | added HTML syntax | changeset | files |
2000-09-22 | kleing | removed JVM/Store.ML, added theorem Digest in MicroJava | changeset | files |
Loading... |