isabelle: src/HOL/Isar_examples/ROOT.ML@1f8ce3f7ccb4 (annotated)

6444 2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	1	(* Title: HOL/Isar_examples/ROOT.ML
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	2	ID: $Id$
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	3	Author: Markus Wenzel, TU Muenchen
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	4
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	5	Miscellaneous Isabelle/Isar examples for Higher-Order Logic.
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	6	*)
2ebe9e630cab Miscellaneous Isabelle/Isar examples for Higher-Order Logic. wenzelm parents: diff changeset	7
7384 33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	8	time_use_thy "BasicLogic";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	9	time_use_thy "Peirce";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	10	time_use_thy "Cantor";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	11	time_use_thy "ExprCompiler";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	12	time_use_thy "Group";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	13	time_use_thy "NatSum";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	14	time_use_thy "KnasterTarski";
33c976216121 added MutilatedCheckerboard; wenzelm parents: 6882 diff changeset	15	time_use_thy "MutilatedCheckerboard";
7436 1f8ce3f7ccb4 added MultisetOrder.thy; wenzelm parents: 7384 diff changeset	16
1f8ce3f7ccb4 added MultisetOrder.thy; wenzelm parents: 7384 diff changeset	17	add_path "../Induct";
1f8ce3f7ccb4 added MultisetOrder.thy; wenzelm parents: 7384 diff changeset	18	time_use_thy "MultisetOrder";

author	wenzelm
	Wed, 01 Sep 1999 21:46:01 +0200
changeset 7436	1f8ce3f7ccb4
parent 7384	33c976216121
child 7443	e5356e73f57a
permissions	-rw-r--r--