isabelle: src/HOL/Library/Library.thy@d6913de7655f (annotated)

10253 73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	1	(<)
73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	2	theory Library =
10332 b4f7f8693f8e added List_Prefix; wenzelm parents: 10253 diff changeset	3	Quotient +
10947 1702ff26bbe1 Ring_and_Field_Example; wenzelm parents: 10943 diff changeset	4	Ring_and_Field + Ring_and_Field_Example +
11349 fcb507c945c3 added Library/Nat_Infinity.thy and Library/Continuity.thy oheimb parents: 11055 diff changeset	5	Nat_Infinity +
10619 0cf191f57a54 activate Rational_Numbers; wenzelm parents: 10618 diff changeset	6	Rational_Numbers +
10616 ad39ca9477d5 Rational_Numbers; wenzelm parents: 10481 diff changeset	7	List_Prefix +
10943 3a610d34eb9e added HOL/Library/Nested_Environment.thy; wenzelm parents: 10619 diff changeset	8	Nested_Environment +
10253 73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	9	Accessible_Part +
11349 fcb507c945c3 added Library/Nat_Infinity.thy and Library/Continuity.thy oheimb parents: 11055 diff changeset	10	Continuity +
10253 73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	11	Multiset +
11055 b84dd2c25a1c added Permutation; wenzelm parents: 10984 diff changeset	12	Permutation +
11368 9c1995c73383 tuned Primes theory; wenzelm parents: 11349 diff changeset	13	Primes +
10984 8f49dcbec859 Merged Example into While_Combi nipkow parents: 10947 diff changeset	14	While_Combinator:
10253 73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	15	end
73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	16	(>)

author	wenzelm
	Thu, 06 Dec 2001 00:37:59 +0100
changeset 12395	d6913de7655f
parent 11368	9c1995c73383
child 14127	40a4768c8e0b
permissions	-rw-r--r--