src/HOLCF/Library/ROOT.ML
author huffman
Tue Oct 12 06:20:05 2010 -0700 (2010-10-12)
changeset 40006 116e94f9543b
parent 38137 6fda94059baa
permissions -rw-r--r--
remove unneeded lemmas from Fun_Cpo.thy
     1 use_thys ["HOLCF_Library"];