src/HOL/ex/ExecutableContent.thy
changeset 24626 85eceef2edc7
parent 24530 1bac25879117
child 25536 01753a944433
     1.1 --- a/src/HOL/ex/ExecutableContent.thy	Tue Sep 18 07:36:38 2007 +0200
     1.2 +++ b/src/HOL/ex/ExecutableContent.thy	Tue Sep 18 07:46:00 2007 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  theory ExecutableContent
     1.5  imports
     1.6    Main
     1.7 -  Eval
     1.8 +  (*Eval*)
     1.9    "~~/src/HOL/ex/Records"
    1.10    AssocList
    1.11    Binomial