Differences

This shows you the differences between two versions of the page.

theory:main.html [2012/08/10 13:49] – created Patrick Michel		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]].