This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
references [2011/05/18 23:44] 78.51.52.3 |
references [2011/05/28 17:26] (current) 131.246.229.97 |
||
---|---|---|---|
Line 3: | Line 3: | ||
Put here some links to other documentation sources that can be useful. | Put here some links to other documentation sources that can be useful. | ||
+ | * [[http://www.cl.cam.ac.uk/research/hvg/isabelle/faq.html|Isabelle FAQ]] | ||
* [[http://isabelle.in.tum.de/dist/Isabelle/doc/main.pdf|What's is Main]] (by Tobias Nipkow) contains a list of populer datatypes and functions (i.e. there signatures) in the Main theory. | * [[http://isabelle.in.tum.de/dist/Isabelle/doc/main.pdf|What's is Main]] (by Tobias Nipkow) contains a list of populer datatypes and functions (i.e. there signatures) in the Main theory. | ||
* [[http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/tutorial.pdf|A Proof Assistant for Higher-Order Logic]] (by Nipkow et al.) is an extensive tutorial to most of Isabelle's features. Find explanations for most methods, tactics, ... via the index. | * [[http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/tutorial.pdf|A Proof Assistant for Higher-Order Logic]] (by Nipkow et al.) is an extensive tutorial to most of Isabelle's features. Find explanations for most methods, tactics, ... via the index. |