Sat, 03 Sep 2011 17:32:35 +0200 | haftmann | assert Pure equations for theorem references; avoid dynamic reference to fact | changeset | files |
Sat, 03 Sep 2011 17:32:34 +0200 | haftmann | assert Pure equations for theorem references; tuned | changeset | files |
Sat, 03 Sep 2011 17:32:34 +0200 | haftmann | tuned specifications and proofs | changeset | files |