src/ZF/IsaMakefile
changeset 13285 28d1823ce0f2
parent 13259 01fa0c8dbc92
child 13296 ba142aa29694
     1.1 --- a/src/ZF/IsaMakefile	Tue Jul 02 17:44:13 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Tue Jul 02 22:46:23 2002 +0200
     1.3 @@ -39,7 +39,7 @@
     1.4    Integ/twos_compl.ML Let.ML Let.thy List.ML List.thy Main.ML Main.thy	\
     1.5    Main_ZFC.ML Main_ZFC.thy Nat.thy Order.thy OrderArith.thy	\
     1.6    OrderType.thy Ordinal.thy OrdQuant.thy Perm.thy	\
     1.7 -  QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML	\
     1.8 +  QPair.thy QUniv.thy ROOT.ML	\
     1.9    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
    1.10    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
    1.11    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\