1![](https://www.pdfsearch.io/img/4f243b70d72726557397615a4317439b.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:12
|
---|
2![](https://www.pdfsearch.io/img/8ee444837bc40b543ba0574467d49f43.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:20
|
---|
3![Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover](https://www.pdfsearch.io/img/a5f0b664dea4170ff9bce53172b82870.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:09
|
---|
4![](https://www.pdfsearch.io/img/f16daaeaae70fdf28a1ab9a3b345eaef.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:26
|
---|
5![LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based](https://www.pdfsearch.io/img/c6bcf5d26ede902473aceca6d8a73030.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:25
|
---|
6![](https://www.pdfsearch.io/img/d0fa340b28780726944e6d0a256e95de.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:18:35
|
---|
7![](https://www.pdfsearch.io/img/baf0b24f3fca72e69b641c553fefe880.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:16
|
---|
8![](https://www.pdfsearch.io/img/3be3acf3cf55499fc92b59b6f00739ca.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:18:43
|
---|
9![](https://www.pdfsearch.io/img/8a0eafdc10bd026ccfcb89da142c0161.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:18:47
|
---|
10![Tobias Nipkow Programming and Proving in Isabelle/HOL le l Tobias Nipkow Programming and Proving in Isabelle/HOL le l](https://www.pdfsearch.io/img/7d0ac38770813d9905c9a48c7ad845f6.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:23
|
---|