src/HOL/Tools/specification_package.ML
Thu, 17 Jul 2003 15:23:20 +0200 skalberg Added package for definition by specification.
less more (0) tip