Sat, 18 Feb 2012 20:12:16 +0100 | haftmann | corrected spelling | changeset | files |
Sat, 18 Feb 2012 20:11:58 +0100 | haftmann | clarified | changeset | files |
Sat, 18 Feb 2012 20:07:47 +0100 | haftmann | more precise semantics of "theory" antiquotation | changeset | files |
Sat, 18 Feb 2012 20:07:26 +0100 | haftmann | tuned import | changeset | files |
Sat, 18 Feb 2012 20:06:59 +0100 | haftmann | dropped references to obsolete theories | changeset | files |
Sat, 18 Feb 2012 20:06:43 +0100 | haftmann | adjusted to set type constructor | changeset | files |