isabelle: src/HOL/Decision_Procs/Decision_Procs.thy@a29ea2c5160d (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"
8c58fbbc1d5a tuned session specification; wenzelm parents: 36347 diff changeset	13	"ex/Dense_Linear_Order_Ex"
29825 384e47590e7f added Decision_Procs.thy haftmann parents: diff changeset	14	begin
384e47590e7f added Decision_Procs.thy haftmann parents: diff changeset	15
36347 0ca616bc6c6f line break haftmann parents: 35044 diff changeset	16	end

author	blanchet
	Tue, 01 Oct 2013 19:58:31 +0200
changeset 54015	a29ea2c5160d
parent 51544	8c58fbbc1d5a
child 58988	6ebf918128b9
permissions	-rw-r--r--