F-Limette -- Documentation



[.pdf] F-Limette User Manual (January 1997).
This manual contains a list of commands and predefined predicates of F-Limette.