next up previous
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