Sat, 03 Mar 2012 22:38:33 +0100 | haftmann | switch of target Import-HOL_Light-Imported: not operative at the moment | changeset | files |
Sat, 03 Mar 2012 22:38:11 +0100 | haftmann | turn on quick and dirty in batch mode | changeset | files |
Sat, 03 Mar 2012 22:37:56 +0100 | haftmann | tuned whitespace | changeset | files |