src/HOL/Decision_Procs/Decision_Procs.thy
changeset 72797 402afc68f2f9
parent 58988 6ebf918128b9
equal deleted inserted replaced
72796:d39a32cff5d7 72797:402afc68f2f9