isabelle: src/CCL/ex/ROOT.ML@6ce4bddf3bcb (annotated)

9000 c20d58286a51 cleaned up; wenzelm parents: 6349 diff changeset	1	(* Title: CCL/ex/ROOT.ML
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	2	ID: $Id$
a5a9c433f639 Initial revision clasohm parents: diff changeset	3	Author: Martin Coen, Cambridge University Computer Laboratory
a5a9c433f639 Initial revision clasohm parents: diff changeset	4	Copyright 1993 University of Cambridge
a5a9c433f639 Initial revision clasohm parents: diff changeset	5
17456 bcf7544875b2 converted to Isar theory format; wenzelm parents: 9000 diff changeset	6	Examples for Classical Computational Logic.
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	7	*)
a5a9c433f639 Initial revision clasohm parents: diff changeset	8
1351 4a960c012383 removed make_chart; clasohm parents: 1293 diff changeset	9	time_use_thy "Nat";
4a960c012383 removed make_chart; clasohm parents: 1293 diff changeset	10	time_use_thy "List";
4a960c012383 removed make_chart; clasohm parents: 1293 diff changeset	11	time_use_thy "Stream";
4a960c012383 removed make_chart; clasohm parents: 1293 diff changeset	12	time_use_thy "Flag";