src/HOL/Tools/old_primrec_package.ML
Thu, 06 Dec 2007 15:10:09 +0100 haftmann added new primrec package
less more (0) tip