| Fri, 21 Nov 2008 18:02:19 +0100 | ballarin | Regression tests for new locale implementation. | changeset | files |
| Fri, 21 Nov 2008 18:01:39 +0100 | ballarin | add_locale functional. | changeset | files |
| Fri, 21 Nov 2008 15:54:53 +0100 | paulson | Added a line that was missing from the definition | changeset | files |
| Fri, 21 Nov 2008 14:21:42 +0100 | krauss | added binary logarithm | changeset | files |
| Fri, 21 Nov 2008 13:17:43 +0100 | paulson | Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before. | changeset | files |
| Fri, 21 Nov 2008 07:34:36 +0100 | haftmann | Name.binding | changeset | files |
| Thu, 20 Nov 2008 22:39:12 +0100 | nipkow | added optimizer | changeset | files |
| Thu, 20 Nov 2008 19:43:34 +0100 | wenzelm | reactivated some dead theories (based on hints by Mark Hillebrand); | changeset | files |