| Tue, 03 Dec 2019 19:32:26 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Dec 2019 16:40:04 +0100 | wenzelm | clarified export of consts: recursion is accessible via spec_rules; | changeset | files |
| Tue, 03 Dec 2019 15:59:01 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 03 Dec 2019 16:12:20 +0100 | Manuel Eberl | Removed orphaned theory from HOL-Analysis | changeset | files |
| Tue, 03 Dec 2019 15:20:30 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Dec 2019 10:50:28 +0100 | wenzelm | clarified position for spec rule: like entity; | changeset | files |
| Mon, 02 Dec 2019 16:28:23 +0100 | wenzelm | clarified name: avoid clashes; | changeset | files |