User Tools
editor
This is an old revision of the document!
External References
Put here some links to other documentation sources that can be useful.
- For a list of pre-defined symbols in Isabelle/HOL see Appendix B of this document. Useful when the set of UNICODE characters is not available.
- Presentation of Sheet 2 can be found here.
editor.1304763241.txt.gz · Last modified: 2011/05/07 12:14 by 178.26.109.100
