importing Eval theory
authorhaftmann
Mon Mar 26 14:53:02 2007 +0200 (2007-03-26)
changeset 22519eb70ed79dac7
parent 22518 21c221e1c8eb
child 22520 ebe95b0242b3
importing Eval theory
src/HOL/Library/Library.thy
     1.1 --- a/src/HOL/Library/Library.thy	Mon Mar 26 14:53:01 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Mar 26 14:53:02 2007 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4    Commutative_Ring
     1.5    Continuity
     1.6    EfficientNat
     1.7 +  Eval
     1.8    ExecutableRat
     1.9    ExecutableSet
    1.10    FuncSet