equal
deleted
inserted
replaced
83 $(SRC)/Provers/trancl.ML $(SRC)/TFL/casesplit.ML $(SRC)/TFL/dcterm.ML \ |
83 $(SRC)/Provers/trancl.ML $(SRC)/TFL/casesplit.ML $(SRC)/TFL/dcterm.ML \ |
84 $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML \ |
84 $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML \ |
85 $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML \ |
85 $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML \ |
86 $(SRC)/TFL/utils.ML ATP_Linkup.thy Accessible_Part.thy \ |
86 $(SRC)/TFL/utils.ML ATP_Linkup.thy Accessible_Part.thy \ |
87 Code_Generator.thy Datatype.thy Divides.thy Equiv_Relations.thy \ |
87 Code_Generator.thy Datatype.thy Divides.thy Equiv_Relations.thy \ |
88 Extraction.thy Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy HOL.ML \ |
88 Extraction.thy Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy \ |
89 HOL.thy Hilbert_Choice.thy Inductive.thy Integ/IntArith.thy \ |
89 HOL.thy Hilbert_Choice.thy Inductive.thy Integ/IntArith.thy \ |
90 Integ/IntDef.thy Integ/IntDiv.thy Integ/NatBin.thy \ |
90 Integ/IntDef.thy Integ/IntDiv.thy Integ/NatBin.thy \ |
91 Integ/NatSimprocs.thy Integ/Numeral.thy Integ/Presburger.thy \ |
91 Integ/NatSimprocs.thy Integ/Numeral.thy Integ/Presburger.thy \ |
92 Integ/cooper_dec.ML Integ/cooper_proof.ML Integ/int_arith1.ML \ |
92 Integ/cooper_dec.ML Integ/cooper_proof.ML Integ/int_arith1.ML \ |
93 Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML \ |
93 Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML \ |