isabelle: src/HOL/Main.thy@5be3f13193d7 (annotated)

src/HOL/Main.thy

tuned defer_recdef interfaces;

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
6059 aa00e235ea27 In Main: moved Bin to the left to preserve the solver in its simpset. nipkow parents: 5442 diff changeset	4	Main = Bin + Map + Recdef + Record + RelPow + Sexp + String

isabelle