CATS v0.88, 25 Nov 2003

Enter a CASL 1.0.1 specification or library in the input zone, then press SUBMIT:

Output parse tree Output global environment Output LaTeX

Contact address:  cofi@informatik.uni-bremen.de