* Things to do with Isabelle & Grail    -*- outline -*-
====================================

$Id: TODO,v 1.1 2003/02/15 12:11:39 da Exp $

This list is in rough priority order, highest first.


** Define resource-aware logic for Grail

[Estimate: one week, once clearer ideas are in place
 after experimentation with ToyGrail (see progs/ToyMRG/ToyGrail).]


** Complete GrailAbsyn & gdf translation
  
[Estimate: one week, HW to do?]


** Furnish Grail with some test suite / example proofs in Examples/

Probably HW's existing file GrailTest1 could be adapted/updated.

Would be nice to distinguish interesting tests/examples from
experiments or examples of simple proofs.

[Open-ended;  HW porting maybe 1 day]
