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     Standard Package [Preloaded]
5.2     Basic Package
5.3     Advanced Package
5.4     Experiment Package
5.5     Stream Package [mostly Preloaded]
5.6     System Package
6     Appendix
Acknowledgements
Indexes
     Frequent Predicates
References

Comments