theory:main.html
Differences
This shows you the differences between two versions of the page.
|
theory:main.html [2012/08/10 13:49] Patrick Michel created |
theory:main.html [2012/08/10 13:51] (current) Patrick Michel |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | [[http://isabelle.in.tum.de/dist/library/HOL/Main.html]] | + | The main theory of Isabelle/HOL can be found [[http://isabelle.in.tum.de/dist/library/HOL/Main.html|here]]. |
theory/main.html.1344599394.txt.gz ยท Last modified: 2012/08/10 13:49 by Patrick Michel
Page Tools
