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