import path made absolute
authorhaftmann
Thu Dec 21 13:55:12 2006 +0100 (2006-12-21)
changeset 21892af35b480916e
parent 21891 b4e4ea3db161
child 21893 29438dfa8a16
import path made absolute
src/HOL/ex/Codegenerator.thy
     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