80 $(SRC)/Provers/trancl.ML \ |
80 $(SRC)/Provers/trancl.ML \ |
81 $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML \ |
81 $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML \ |
82 $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML \ |
82 $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML \ |
83 $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \ |
83 $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \ |
84 Datatype.thy Datatype_Universe.ML Datatype_Universe.thy \ |
84 Datatype.thy Datatype_Universe.ML Datatype_Universe.thy \ |
85 Divides.thy Extraction.thy Finite_Set.ML Finite_Set.thy \ |
85 Divides.thy Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy \ |
86 Fun.thy Gfp.ML Gfp.thy Hilbert_Choice.thy HOL.ML \ |
86 Fun.thy Gfp.ML Gfp.thy Hilbert_Choice.thy HOL.ML \ |
87 HOL.thy HOL_lemmas.ML Inductive.thy Infinite_Set.thy Integ/Numeral.thy \ |
87 HOL.thy HOL_lemmas.ML Inductive.thy Infinite_Set.thy Integ/Numeral.thy \ |
88 Integ/cooper_dec.ML Integ/cooper_proof.ML \ |
88 Integ/cooper_dec.ML Integ/cooper_proof.ML \ |
89 Integ/Equiv.thy Integ/IntArith.thy Integ/IntDef.thy \ |
89 Integ/IntArith.thy Integ/IntDef.thy \ |
90 Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Parity.thy \ |
90 Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Parity.thy \ |
91 Integ/int_arith1.ML Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \ |
91 Integ/int_arith1.ML Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \ |
92 Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \ |
92 Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \ |
93 Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \ |
93 Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \ |
94 Nat.thy NatArith.ML NatArith.thy \ |
94 Nat.thy NatArith.ML NatArith.thy \ |