Time-stamp: <>
$Id: README,v 1.1 2003/02/06 19:54:58 a1hloidl Exp $

A set of examples, Camelot code, Grail code and Isabelle theory files,
to be used on the producer to upload onto the consumer as part of the
demo. It only has to be visible on the producer locally, and is
therefore not included in the cgi-dat etc dirs, which must all be
directly available to the consumer.

OurFac.gr ... Copy of Fac.gr
Dummy.thy ... a proof script proving resource bound \ _ . 1
              (contains code of OurFac.gr, but that's not used in
	      proof)
Fac2.thy ... a proof of time bound on "fac 2"; 
             the definition of "fac" is hand-written Isabelle, not
             something derived from OurFac.gr with gdf2thy
OkFac.gr ... Copy of Fac.gr code
Inc.gr
Inc-p1.thy ... for use of "time bound" option in proof portal
OkFib.cmlt ... Copy of Fib1.cmlt (was ok in compiling and exec when tested)