src/HOL/Library/Library.thy
changeset 24626 85eceef2edc7
parent 24615 17dbd993293d
child 24994 c385c4eabb3b
     1.1 --- a/src/HOL/Library/Library.thy	Tue Sep 18 07:36:38 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Sep 18 07:46:00 2007 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    Commutative_Ring
     1.5    Continuity
     1.6    Efficient_Nat
     1.7 -  Eval
     1.8 +  (*Eval*)
     1.9    Eval_Witness
    1.10    Executable_Set
    1.11    FuncSet