isabelle: src/HOLCF/ex/ROOT.ML@6a422b22ba02 (annotated)

1461 6bcb44e4d6e5 expanded tabs clasohm parents: 1351 diff changeset	1	(* Title: HOLCF/ex/ROOT
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
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	6	Executes all examples for HOLCF.
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	7	*)
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	8
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	9	HOLCF_build_completed; (Cause examples to fail if HOLCF did)
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	10
929fc2c63bd0 HOLCF examples nipkow parents: diff changeset	11	writeln"Root file for HOLCF examples";
4449 df30e75f670f tuned; wenzelm parents: 3951 diff changeset	12	set proof_timing;
297 5ef75ff3baeb Franz fragen nipkow parents: 244 diff changeset	13
2570 24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	14	time_use_thy "Dnat";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	15	time_use_thy "Stream";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	16	time_use_thy "Dagstuhl";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	17	time_use_thy "Focus_ex";
24d7e8fb8261 added Classlib.* and Witness., oheimb* parents: 2236 diff changeset	18	time_use_thy "Fix2";
1351 4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	19	time_use_thy "Hoare";
4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	20	time_use_thy "Loop";
4a960c012383 removed make_chart; clasohm parents: 1306 diff changeset	21	time_use "loeckx.ML";

author	wenzelm
	Sun, 25 Oct 1998 12:33:27 +0100
changeset 5769	6a422b22ba02
parent 4449	df30e75f670f
child 6349	f7750d816c21
permissions	-rw-r--r--