changeset 25536 | 01753a944433 |
parent 24626 | 85eceef2edc7 |
child 25572 | 0c9052719f20 |
25535:4975b7529a14 | 25536:01753a944433 |
---|---|
5 header {* A huge set of executable constants *} |
5 header {* A huge set of executable constants *} |
6 |
6 |
7 theory ExecutableContent |
7 theory ExecutableContent |
8 imports |
8 imports |
9 Main |
9 Main |
10 (*Eval*) |
10 Eval |
11 "~~/src/HOL/ex/Records" |
11 "~~/src/HOL/ex/Records" |
12 AssocList |
12 AssocList |
13 Binomial |
13 Binomial |
14 Commutative_Ring |
14 Commutative_Ring |
15 "~~/src/HOL/ex/Commutative_Ring_Complete" |
15 "~~/src/HOL/ex/Commutative_Ring_Complete" |