isabelle: src/HOLCF/ex/ROOT.ML@7d13a5ace928 (annotated)

9000 c20d58286a51 cleaned up; wenzelm parents: 6349 diff changeset	1	(* Title: HOLCF/ex/ROOT.ML
244 929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	2	ID: $Id$
1461 6bcb44e4d6e5 expanded tabs clasohm parents: 1351 diff changeset	3	Author: Tobias Nipkow
244 929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	4	Copyright 1994 TU Muenchen
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	5
9000 c20d58286a51 cleaned up; wenzelm parents: 6349 diff changeset	6	Misc HOLCF examples.
244 929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	7	*)
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	8
2570 24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	9	time_use_thy "Dnat";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	10	time_use_thy "Stream";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	11	time_use_thy "Dagstuhl";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	12	time_use_thy "Focus_ex";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	13	time_use_thy "Fix2";
1351 4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	14	time_use_thy "Hoare";
4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	15	time_use_thy "Loop";
4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	16	time_use "loeckx.ML";