src/HOL/Decision_Procs/Decision_Procs.thy
changeset 55990 41c6b99c5fb7
parent 51544 8c58fbbc1d5a
child 58988 6ebf918128b9