src/HOL/IsaMakefile
changeset 11751 89cff5bfe3b1
parent 11686 68b95cb97745
child 11770 b6bb7a853dd2
     1.1 --- a/src/HOL/IsaMakefile	Sun Oct 14 20:01:42 2001 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Oct 14 20:02:11 2001 +0200
     1.3 @@ -91,7 +91,7 @@
     1.4    Inverse_Image.ML Inverse_Image.thy Lfp.ML \
     1.5    Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
     1.6    Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
     1.7 -  Option.ML Option.thy Ord.thy Power.ML Power.thy PreList.thy \
     1.8 +  Option.ML Option.thy Power.ML Power.thy PreList.thy \
     1.9    Product_Type_lemmas.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \
    1.10    Relation.ML Relation.thy Relation_Power.ML Relation_Power.thy \
    1.11    SVC_Oracle.ML SVC_Oracle.thy Set.ML Set.thy SetInterval.ML \