isabelle: src/HOL/Decision_Procs/Decision_Procs.thy@452073b64f28 (annotated)

29825 384e47590e7f added Decision_Procs.thy haftmann parents: diff changeset	1	theory Decision_Procs
33356 9157d0f9f00e moved Commutative_Ring into session Decision_Procs haftmann parents: 33152 diff changeset	2	imports
51544 8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	3	Commutative_Ring
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	4	Cooper
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	5	Ferrack
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	6	MIR
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	7	Approximation
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	8	Dense_Linear_Order
35044 7c761a4bd91f tuned header haftmann parents: 33356 diff changeset	9	Parametric_Ferrante_Rackoff
33356 9157d0f9f00e moved Commutative_Ring into session Decision_Procs haftmann parents: 33152 diff changeset	10	Commutative_Ring_Complete
51544 8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	11	"ex/Commutative_Ring_Ex"
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	12	"ex/Approximation_Ex"
58988 6ebf918128b9 added quickcheck[approximation] immler parents: 51544 diff changeset	13	"ex/Approximation_Quickcheck_Ex"
51544 8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	14	"ex/Dense_Linear_Order_Ex"
29825 384e47590e7f added Decision_Procs.thy haftmann parents: diff changeset	15	begin
384e47590e7f added Decision_Procs.thy haftmann parents: diff changeset	16
36347 0ca616bc6c6f line break haftmann parents: 35044 diff changeset	17	end

author	wenzelm
	Wed, 15 Jul 2020 11:56:43 +0200
changeset 72034	452073b64f28
parent 58988	6ebf918128b9
permissions	-rw-r--r--