haftmann [Sun, 04 Mar 2012 00:03:21 +0100] rev 47672
actually add "the" Importer theory
haftmann [Sun, 04 Mar 2012 00:03:04 +0100] rev 47671
avoid internal hol4 name references in generic importer code
haftmann [Sat, 03 Mar 2012 23:54:44 +0100] rev 47670
generalized user-visible text
haftmann [Sat, 03 Mar 2012 23:49:54 +0100] rev 47669
generalized attribute name
haftmann [Sat, 03 Mar 2012 23:49:22 +0100] rev 47668
dropped dead theories
haftmann [Sat, 03 Mar 2012 23:43:21 +0100] rev 47667
one unified Importer theory
haftmann [Sat, 03 Mar 2012 23:42:56 +0100] rev 47666
added actual dependencies
haftmann [Sat, 03 Mar 2012 23:18:23 +0100] rev 47665
import all importer theories in compatibility layer
wenzelm [Sat, 03 Mar 2012 22:53:24 +0100] rev 47664
merged;
wenzelm [Sat, 03 Mar 2012 22:27:30 +0100] rev 47663
discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I);