| author | wenzelm |
| Tue, 20 Sep 2005 13:56:01 +0200 | |
| changeset 17504 | cc10c4b64b8e |
| parent 17478 | 1865064ca82a |
| permissions | -rw-r--r-- |
For Isabelle2005: - update course material slides to new theory headers (Tobias) - Library/ExecutableSet.thy (Stefan) - a global "disprove" menu item both as an action and (if it can be done) as a setting (Stefan & Tjark) - convert fast_lin_arith.ML and cooper_dec.ML to use IntInf (Tobias) - ball, bex and setsum congruence rules (Tobias & Stefan) - remove this file (Tobias)