equal
deleted
inserted
replaced
92 Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Numeral.thy \ |
92 Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Numeral.thy \ |
93 Integ/Parity.thy Integ/Presburger.thy Integ/cooper_dec.ML \ |
93 Integ/Parity.thy Integ/Presburger.thy Integ/cooper_dec.ML \ |
94 Integ/cooper_proof.ML Integ/reflected_presburger.ML \ |
94 Integ/cooper_proof.ML Integ/reflected_presburger.ML \ |
95 Integ/reflected_cooper.ML Integ/int_arith1.ML Integ/int_factor_simprocs.ML \ |
95 Integ/reflected_cooper.ML Integ/int_arith1.ML Integ/int_factor_simprocs.ML \ |
96 Integ/nat_simprocs.ML Integ/presburger.ML Integ/qelim.ML LOrder.thy \ |
96 Integ/nat_simprocs.ML Integ/presburger.ML Integ/qelim.ML LOrder.thy \ |
97 Lattice_Locales.thy List.ML List.thy Main.ML Main.thy Map.thy \ |
97 Lattice_Locales.thy List.ML List.thy Main.thy Map.thy \ |
98 Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy \ |
98 Nat.ML Nat.thy OrderedGroup.ML OrderedGroup.thy \ |
99 Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \ |
99 Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \ |
100 ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \ |
100 ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \ |
101 Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy Set.ML \ |
101 Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy Set.ML \ |
102 Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML \ |
102 Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML \ |
103 Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \ |
103 Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \ |