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] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
* [[http://isabelle.in.tum.de/|Isabelle Interactive Theorem Prover Web Site]] | * [[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. |