src/HOL/Tools/ComputeHOL.thy
Mon, 09 Jul 2007 17:38:40 +0200 obua added computing oracle support for HOL and numerals
less more (0) tip