| Fri, 21 Apr 2017 11:38:45 +0200 | wenzelm | include imports that morally belong to Main and are used in HOL-Proofs applications; | changeset | files |
| Fri, 21 Apr 2017 11:21:59 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Apr 2017 10:59:07 +0200 | wenzelm | proper theory_qualifier; | changeset | files |