| Tue, 23 Jul 2013 16:56:46 +0200 | krauss | eliminate duplicate calls when moving to closed form -- graph decomposition chokes on duplicates | changeset | files |
| Tue, 23 Jul 2013 18:36:23 +0200 | boehmes | removed obsolete HOL-Boogie session; | changeset | files |
| Tue, 23 Jul 2013 13:14:14 +0200 | traytel | transfer stored bnf theorems into the "current" theory when retrieving a bnf (avoids non-trivial merges) | changeset | files |
| Tue, 23 Jul 2013 13:10:27 +0200 | traytel | separate ML interface to note facts of a bnf | changeset | files |
| Mon, 22 Jul 2013 21:12:15 +0200 | traytel | transfer rule for map (not yet registered as a transfer rule) | changeset | files |
| Sun, 21 Jul 2013 14:02:33 +0200 | nipkow | tuned exercises | changeset | files |