isabelle: src/HOLCF/IOA/ROOT.ML@e9d2f771b3c7 (annotated)

6488 271969bb7f95 more graceful handling of load paths; wenzelm parents: 6469 diff changeset	1	(* Title: HOL/IOA/ROOT.ML
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	2	ID: $Id$
12218 6597093b77e7 GPLed; wenzelm parents: 9000 diff changeset	3	Author: Olaf M�ller
6597093b77e7 GPLed; wenzelm parents: 9000 diff changeset	4	License: GPL (GNU GENERAL PUBLIC LICENSE)
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	5
6217 9dac1ee185e3 tidied load path handling; wenzelm parents: 4816 diff changeset	6	This is the ROOT file for the formalization of a semantic model of
9dac1ee185e3 tidied load path handling; wenzelm parents: 4816 diff changeset	7	I/O-Automata. See the README.html file for details.
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	8	*)
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	9
6217 9dac1ee185e3 tidied load path handling; wenzelm parents: 4816 diff changeset	10	goals_limit := 1;
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	11
9000 c20d58286a51 cleaned up; wenzelm parents: 6488 diff changeset	12	time_use_thy "meta_theory/Abstraction";
c20d58286a51 cleaned up; wenzelm parents: 6488 diff changeset	13	time_use "meta_theory/ioa_package.ML";
c20d58286a51 cleaned up; wenzelm parents: 6488 diff changeset	14	time_use "meta_theory/ioa_syn.ML";

author	kleing
	Sat, 17 Apr 2004 00:50:45 +0200
changeset 14611	e9d2f771b3c7
parent 12218	6597093b77e7
child 14981	e73f8140af78
permissions	-rw-r--r--