[Termtools] CoLoR: new release with HORPO !

[Frederic Blanqui]

i'm very pleased to announce a new release of CoLoR with Adam Koprowski's proof 
of the well-foundedness of the higher-order recursive path ordering (HORPO)!

note that it contains a library on simply typed lambda-terms with de Bruijn 
indices.

see http://color.loria.fr/ for more details.

see http://color.loria.fr/doc/main.html to browse the files.
_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools