src/HOL/Import/HOLLightInt.thy
2011-09-06 huffman 2011-09-06 avoid using legacy theorem names
2011-07-13 Cezary Kaliszyk 2011-07-13 HOL/Import for HOLLight revival: Proper theory headers, update generation scripts to SVN version of HOL Light, add some constant maps and compatibility theorems