Next:
Snapshots of a session
Up:
SLs: User's Guide (Still
Previous:
How to exit if
Example of a session
Command:
Load Spec
spec filename:
trains.txt
Command:
Solve
Command:
Language Lexpr
Command:
Cardinal Language
Command:
Membership To Language
Irene DURAND
2007-07-10