equal
deleted
inserted
replaced
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.thy \ |
84 Datatype.thy Datatype_Universe.thy \ |
85 Divides.thy Equiv_Relations.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.thy Hilbert_Choice.thy HOL.ML \ |
86 Fun.thy Gfp.thy Hilbert_Choice.thy HOL.ML \ |
87 HOL.thy HOL_lemmas.ML Inductive.thy Infinite_Set.thy Integ/Numeral.thy \ |
87 HOL.thy 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/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 \ |