                                                  -*- outline -*-
Time-stamp: <Tue May 20 2003 21:41:41 Stardate: [-29]0314.10 hwloidl>

* Contents of dir

ToyGrailDef     ... lang def, syntax, op sem, state
ToyGrailLemmas  ... lemmas, useful as rewrite rules
ToyPrelude      ... ToyGrail "library" functions with prettier syntax
ToyHLBasic      ... types, assertions, predicates
ToyHLBasicMono  ... types, assertions, predicates (aux vars specialised to state)
ToyHLRules      ... rules
ToyHLVCG        ... verification condition generator
ToyHLVCGex      ... cleaned-up examples of using VCG

ToyHLextras	-- Additional experimental Hoare rules not used in main development

