src/HOL/ex/Codegenerator.thy
changeset 21892 af35b480916e
parent 21877 e871f57b1adb
child 21898 46be40d304d7
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Thu Dec 21 13:55:11 2006 +0100
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Thu Dec 21 13:55:12 2006 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  theory Codegenerator
     1.5  imports
     1.6    Main
     1.7 -  Records
     1.8 +  "~~/src/HOL/ex/Records"
     1.9    AssocList
    1.10    Binomial
    1.11    Commutative_Ring