isabelle: src/HOL/Tools/Mirabelle/Mirabelle.thy@521065a499c6 (annotated)

32381 11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	1	(* Title: Mirabelle.thy
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	2	Author: Jasmin Blanchette and Sascha Boehme
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	3	*)
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	4
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	5	theory Mirabelle
32382 98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	6	imports Plain
98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	7	uses "Tools/mirabelle.ML"
32381 11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	8	begin
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	9
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	10	setup Mirabelle.setup
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	11
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	12	end

author	boehmes
	Fri, 21 Aug 2009 09:46:14 +0200
changeset 32383	521065a499c6
parent 32382	src/HOL/ex/Mirabelle/Mirabelle.thy@98674ac811c4
child 32385	594890623c46
permissions	-rw-r--r--