| Sun, 04 Mar 2012 00:17:13 +0100 | haftmann | dropped silly code | changeset | files |
| Sun, 04 Mar 2012 00:15:08 +0100 | haftmann | tuned | changeset | files |
| Sun, 04 Mar 2012 00:04:37 +0100 | haftmann | dropped dead code | changeset | files |
| Sun, 04 Mar 2012 00:03:21 +0100 | haftmann | actually add "the" Importer theory | changeset | files |
| Sun, 04 Mar 2012 00:03:04 +0100 | haftmann | avoid internal hol4 name references in generic importer code | changeset | files |
| Sat, 03 Mar 2012 23:54:44 +0100 | haftmann | generalized user-visible text | changeset | files |
| Sat, 03 Mar 2012 23:49:54 +0100 | haftmann | generalized attribute name | changeset | files |
| Sat, 03 Mar 2012 23:49:22 +0100 | haftmann | dropped dead theories | changeset | files |
| Sat, 03 Mar 2012 23:43:21 +0100 | haftmann | one unified Importer theory | changeset | files |
| Sat, 03 Mar 2012 23:42:56 +0100 | haftmann | added actual dependencies | changeset | files |
| Sat, 03 Mar 2012 23:18:23 +0100 | haftmann | import all importer theories in compatibility layer | changeset | files |
| Sat, 03 Mar 2012 22:53:24 +0100 | wenzelm | merged; | changeset | files |
| Sat, 03 Mar 2012 22:46:34 +0100 | haftmann | dropped obsolete ROOT.ML | changeset | files |
| Sat, 03 Mar 2012 22:38:53 +0100 | haftmann | plugged in pre-existing theories appropriately | changeset | files |
| Sat, 03 Mar 2012 22:38:33 +0100 | haftmann | switch of target Import-HOL_Light-Imported: not operative at the moment | changeset | files |