Table of Contents

1     Introduction
2     Frequent Examples
2.1     Flag Example
2.2     Palindrome Example [ISO]
2.3     Fruits Example
2.4     Hello Example
3     Frequent Conversations
3.1     Ensure Loaded
3.2     Make
3.3     Unload File
3.4     Compatibility Matrix
4     Frequent Syntax
4.1     Term Syntax
4.2     Text Syntax
4.3     Miscellaneous Definitions
5     Frequent Theories
5.1     Package "standard" [Preloaded]
5.2     Package "basic"
5.3     Package "advanced"
5.4     Package "experiment"
5.5     Package "stream" [mostly Preloaded]
5.6     Package "system"
6     Appendix
Acknowledgements
Indexes
     Frequent Predicates
References

Comments