isabelle: src/HOL/Main.thy@9c02848c5404 (annotated)

5123 97c1d5c7b701 stepping stones; wenzelm parents: diff changeset	1
5126 01cbf154d926 theory Main includes everything; wenzelm parents: 5123 diff changeset	2	(theory Main includes everything)
01cbf154d926 theory Main includes everything; wenzelm parents: 5123 diff changeset	3
7143 9c02848c5404 the SVC link-up paulson parents: 7038 diff changeset	4	Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
9c02848c5404 the SVC link-up paulson parents: 7038 diff changeset	5	SVC_Oracle