Sun, 04 Mar 2012 00:03:04 +0100 | haftmann | avoid internal hol4 name references in generic importer code | file | diff | annotate |
Sat, 03 Mar 2012 23:54:44 +0100 | haftmann | generalized user-visible text | file | diff | annotate |
Sat, 03 Mar 2012 22:37:41 +0100 | haftmann | file system structure separating HOL4 and HOL Light concerns | file | diff | annotate | base |