| 2012-02-18 | haftmann | updated generated documents | changeset | files |
| 2012-02-18 | haftmann | avoid redefinition of @{theory} antiquotation | changeset | files |
| 2012-02-18 | haftmann | update of generated documents | changeset | files |
| 2012-02-18 | haftmann | tuned whitespace | changeset | files |
| 2012-02-18 | haftmann | clarified | changeset | files |
| 2012-02-18 | haftmann | corrected spelling | changeset | files |
| 2012-02-18 | haftmann | clarified | changeset | files |
| 2012-02-18 | haftmann | more precise semantics of "theory" antiquotation | changeset | files |
| 2012-02-18 | haftmann | tuned import | changeset | files |
| 2012-02-18 | haftmann | dropped references to obsolete theories | changeset | files |
| 2012-02-18 | haftmann | adjusted to set type constructor | changeset | files |
| 2012-02-18 | haftmann | tuned whitespace | changeset | files |
| 2012-02-18 | haftmann | more explicit error on malformed abstract equation; dropped dead code; tuned signature | changeset | files |
| 2012-02-17 | wenzelm | simplified configuration options for syntax ambiguity; | changeset | files |
| Loading... | |||