Differences

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

--- sav08:isabelle_theorem_prover [2008/02/18 16:42]
vkuncak created
+++ sav08:isabelle_theorem_prover [2008/02/18 16:42] (current)
vkuncak
@@ Line 3: / Line 3: @@
   * [[http://isabelle.in.tum.de/|Isabelle Interactive Theorem Prover Web Site]]
-In [[intro|SAV'08]] we will use Isabelle for some exercises.  Moreover, [[Jahob system]] uses Isabelle formulas as the basis for its annotation language.
+In [[intro|SAV'08]] we will use Isabelle for some exercises.  Moreover, [[:Jahob system]] uses Isabelle formulas as the basis for its annotation language.