isabelle: src/HOL/Main.thy@8ceaa19f7717 (annotated)

src/HOL/Main.thy

Renamed '$' to 'Scons' because of clashes with constants of the same name in theories using datatypes.

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
01cbf154d926 theory Main includes everything; wenzelm parents: 5123 diff changeset	4	Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef

isabelle