This directory contains Isabelle theories of Grail.

Grail/		The main collaborative Grail development 
		 by Lennart, Hans-Wolfgang, David.

CoreGrail/	Lennart's formalization of Core Grail
                  Also Matthew's formalization of the 
		  Core Grail -> jGrail translation.

SepLogic/	Lennart's Separation Logic development
		  [ obsolete?  Or to be merged into Grail/GrailLogic ]

exper/		Experimental and/or obsolete theories
		  You can move stuff here if it may be interesting
		  to have around and available to others still.
		  ("cvs rm" is often a better option: the file isn't
		   permanently deleted and can easily be retrieved)


$Id: README,v 1.1 2003/02/15 11:21:55 da Exp $

