BytecodeCounter   Kenneth's JVM instruction frequency counter.

Camelot		  Nicholas and Kenneth's Camelot-to-Grail compiler 

CoqCoreGrail      Core Grail semantics in Coq

Demo              Code for the demonstrator of the infrastructure (html, cgi etc)

FibHeap           Implementatio of Fibonacci heaps in Grail

galahad		  Compiler for Galahad (superset of Camelot)

Grail		  Kenneth's Grail -> JVM compiler, gdf
		    ... and JVM -> Grail decompiler, gf.

GrailTHY          Isabelle theory for full Grail

jGrailTHY         Isabelle theory for jGrail

Leda              Lennart's Leda example

others            Third party software relevant for MRG

Web		  Web interfaces
		    Web/PCC:  David's PCC-style Web interface
