author | haftmann |
Tue, 10 Jul 2007 09:23:16 +0200 | |
changeset 23690 | a5ffe85460af |
parent 23689 | 0410269099dc |
child 23691 | cedf9610b71d |
1.1 --- a/src/HOL/ex/ExecutableContent.thy Tue Jul 10 09:23:15 2007 +0200 1.2 +++ b/src/HOL/ex/ExecutableContent.thy Tue Jul 10 09:23:16 2007 +0200 1.3 @@ -9,11 +9,11 @@ 1.4 imports 1.5 Main 1.6 Eval 1.7 - Records 1.8 + "~~/src/HOL/ex/Records" 1.9 AssocList 1.10 Binomial 1.11 Commutative_Ring 1.12 - Commutative_Ring_Complete 1.13 + "~~/src/HOL/ex/Commutative_Ring_Complete" 1.14 Executable_Real 1.15 GCD 1.16 List_Prefix