author | haftmann |
Wed, 03 Dec 2008 15:58:44 +0100 | |
changeset 28952 | 15a4b2cf8c34 |
parent 28229 | 4f06fae6a55e |
child 29125 | d41182a8135c |
permissions | -rw-r--r-- |
(* Author: Florian Haftmann, TU Muenchen *) header {* A huge set of executable constants *} theory ExecutableContent imports Complex_Main AssocList Binomial Commutative_Ring Enum List_Prefix Nat_Infinity Nested_Environment Option_ord Permutation Primes Product_ord SetsAndFunctions While_Combinator Word "~~/src/HOL/ex/Commutative_Ring_Complete" "~~/src/HOL/ex/Records" begin end