Bug fixes
[rodin/chimara.git] / interpreters / nitfol / globals.h
2009-05-22 Philip ChimentoAdded Nitfol and Frotz source code.