unnecessary files removed
authoroheimb
Tue, 23 Jul 1996 15:33:30 +0200
changeset 1881 5b297e9ec3fc
parent 1880 78c4b3ddba6c
child 1882 67f49e8c4355
unnecessary files removed
src/Tools/8bit/doc/.Set2g.html
src/Tools/8bit/doc/.Set2g.thy.ML
src/Tools/8bit/doc/.Set2g_sub.html
src/Tools/8bit/doc/.Set2g_sup.html
--- a/src/Tools/8bit/doc/.Set2g.html	Tue Jul 23 13:19:27 1996 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-<HTML><HEAD><TITLE>Set2g.thy</TITLE></HEAD>
-
-<BODY>
-<H2>Set2g.thy</H2>
-<A HREF = "../../../../stud/oheimb/isabelle/HOL/index.html">Back</A> to the index of HOL
-<HR>
-
-<PRE>
-Set2g = <A HREF = "../../../../stud/oheimb/isabelle/HOL/.Ord.html">Ord</A> +
-
-types
-	'a set
-consts
-	Ball	:: "'a set  ('a  bool)  bool"
-syntax
-	"GBall"	:: "pttrn  'a set  bool  bool"	("(3__./ _)" 10)
-translations
-(*		"xA. P" == "Ball A (x. P)"*)
-		"GBall x A P" == "Ball A (x. P)"
-
-(*defs
-
-     Ball_def	"Ball A P  x. xA  P(x)"
-*)
-end
-</PRE>
-<HR></BODY></HTML>
--- a/src/Tools/8bit/doc/.Set2g.thy.ML	Tue Jul 23 13:19:27 1996 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,43 +0,0 @@
-val thy = mk_base [Thy "Ord"] "Set2g" true;
-
-structure Set2g =
-struct
-
-local
- val parse_ast_translation = [];
- val parse_translation = [];
- val print_translation = [];
- val print_ast_translation = [];
-in
-
-
-
-val thy = thy
-
-|> add_trfuns
-(parse_ast_translation, parse_translation, print_translation, print_ast_translation)
-
-|> add_types
-[("set", 1, NoSyn)]
-
-|> add_tyabbrs
-[]
-
-|> add_consts
-[("Ball", "'a set  ('a  bool)  bool", NoSyn)]
-
-|> add_syntax
-[("GBall", "pttrn  'a set  bool  bool", Mixfix ("(3 _  _ ./ _)", [], 10))]
-
-|> add_trrules
-[("logic", " x  A . P") <-> ("logic", "Ball A (x. P)")]
-
-|> add_thyname "Set2g";
-
-val _ = store_theory (thy, "Set2g");
-
-
-
-
-end;
-end;
--- a/src/Tools/8bit/doc/.Set2g_sub.html	Tue Jul 23 13:19:27 1996 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-<HTML><HEAD><TITLE>Children of Set2g</TITLE></HEAD>
-<H2>Children of theory Set2g</H2>
-The name of every theory is linked to its theory file<BR>
-<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
-<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)
-<P>
-<A HREF = "../../../../stud/oheimb/isabelle/HOL/index.html">Back</A> to the index of HOL
-<HR>
-<PRE><A HREF=".Set2g.html">Set2g</A> <A HREF = ".Set2g_sup.html"><IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" BORDER=0 ALT = \/></A>
--- a/src/Tools/8bit/doc/.Set2g_sup.html	Tue Jul 23 13:19:27 1996 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-<HTML><HEAD><TITLE>Ancestors of Set2g</TITLE></HEAD>
-<H2>Ancestors of theory Set2g</H2>
-The name of every theory is linked to its theory file<BR>
-<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
-<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)
-<BR><TT>...</TT> stands for repeated subtrees<P>
-<A HREF = "../../../../stud/oheimb/isabelle/HOL/index.html">Back</A> to the index of HOL
-<HR>
-<PRE><A HREF=".Set2g.html">Set2g</A> <A HREF = ".Set2g_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A>
- \__<A HREF="../../../../stud/oheimb/isabelle/HOL/.Ord.html">Ord</A> <A HREF = "../../../../stud/oheimb/isabelle/HOL/.Ord_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A><A HREF = "../../../../stud/oheimb/isabelle/HOL/.Ord_sup.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A>
-     \__<A HREF="../../../../stud/oheimb/isabelle/HOL/.HOL.html">HOL</A> <A HREF = "../../../../stud/oheimb/isabelle/HOL/.HOL_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A><A HREF = "../../../../stud/oheimb/isabelle/HOL/.HOL_sup.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A>
-         \__CPure <A HREF = "../../../../stud/oheimb/isabelle/HOL/.CPure_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A>
-</PRE><HR></BODY></HTML>
\ No newline at end of file