isabelle: src/Doc/Tutorial/Setup.thy@f30e050d4ac6 (annotated)

72991 d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	1	(:maxLineLen=78:)
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	2
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	3	theory Setup
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	4	imports Main
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	5	begin
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	6
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	7	ML_file \<open>../antiquote_setup.ML\<close>
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	8	ML_file \<open>../more_antiquote.ML\<close>
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	9
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: diff changeset	10	end