| 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 |