isabelle: src/HOL/Library/Library.thy@c5c403d30c77 (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 +
10984 8f49dcbec859 Merged Example into While_Combi nipkow parents: 10947 diff changeset	13	While_Combinator:
10253 73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	14	end
73b46b18c348 "The Supplemental Isabelle/HOL Library"; wenzelm parents: diff changeset	15	(>)

author	oheimb
	Thu, 31 May 2001 17:06:00 +0200
changeset 11351	c5c403d30c77
parent 11349	fcb507c945c3
child 11368	9c1995c73383
permissions	-rw-r--r--