Tue, 06 Sep 2011 17:50:04 +0900 | Cezary Kaliszyk | merge | changeset | files |
Tue, 06 Sep 2011 16:45:31 +0900 | Cezary Kaliszyk | HOL/Import: Make HOL4 Import work with current Isabelle. Updated constant maps, added bool type map, and tuned compat theorem. | changeset | files |
Tue, 06 Sep 2011 09:11:08 +0200 | blanchet | tuning | changeset | files |