isabelle: src/Pure/Thy/present.ML@9deae880cf74 (annotated)

6203 328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	1	(* Title: Pure/Thy/present.ML
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	2	ID: $Id$
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	3	Author: Markus Wenzel, TU Muenchen
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	4
6325 2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	5	Theory presentation abstract interface.
2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	6
2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	7	TODO:
2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	8	- presentation_modes: AND (!?);
6203 328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	9	*)
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	10
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	11	signature BASIC_PRESENT =
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	12	sig
6325 2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	13	include BASIC_BROWSER_INFO
6203 328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	14	end;
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	15
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	16	signature PRESENT =
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	17	sig
6325 2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	18	include BROWSER_INFO
6203 328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	19	end;
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	20
6325 2822885f5e02 still fake, passes BrowserInfo; wenzelm parents: 6274 diff changeset	21	structure Present: PRESENT = BrowserInfo; (* FIXME *)
6203 328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	22
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	23	structure BasicPresent: BASIC_PRESENT = Present;
328b4377755c Theory presentation (fake implementation); wenzelm parents: diff changeset	24	open BasicPresent;

author	wenzelm
	Mon, 06 Sep 1999 12:49:39 +0200
changeset 7484	9deae880cf74
parent 6325	2822885f5e02
child 7685	3edd32d588a6
permissions	-rw-r--r--