- completed the list of thms for supp_atm
- cleaned up the way how thms are collected under single names
(* Title: HOLCF/ROOT.ML ID: $Id$ Author: Franz RegensburgerHOLCF -- a semantic extension of HOL by the LCF logic.*)val banner = "HOLCF";writeln banner;use_thy "HOLCF";