| Mon, 10 Apr 2017 13:30:55 +0200 | wenzelm | explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports; | changeset | files |
| Mon, 10 Apr 2017 13:19:24 +0200 | wenzelm | proper qualifier for imports; | changeset | files |
| Mon, 10 Apr 2017 11:52:21 +0200 | wenzelm | clarified, according to Scala version; | changeset | files |
| Mon, 10 Apr 2017 11:50:15 +0200 | wenzelm | tuned text; | changeset | files |