11![](https://www.pdfsearch.io/img/f95cda702405c861af5aa3db1342b089.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:18:47
|
---|
12![](https://www.pdfsearch.io/img/0922b5b3e89e545e26440ec0333921d2.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:29
|
---|
13![](https://www.pdfsearch.io/img/6420eb579fa824ea988bb6e7ebb99ff8.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:07
|
---|
14![](https://www.pdfsearch.io/img/ad18717d91fc4595f4b9322ff5cbb881.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:18:35
|
---|
15![](https://www.pdfsearch.io/img/ab2c576c20fa63c407fff4546cdd576d.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:16
|
---|
16![What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available. What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.](https://www.pdfsearch.io/img/fb1a8daca9bda17cd85e457732bec589.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:14
|
---|
17![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/9d3c4b0161ed4e4e557dfb297a0c50f6.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:21
|
---|
18![Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/4d4602edb8b1c42af9a13c096eb9121e.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:22
|
---|
19![](https://www.pdfsearch.io/img/f5ffa52e918e4125ee7332c9d3750ae4.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:20
|
---|
20![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/a14a17f38b2d947548635024fbcc4b4c.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:09
|
---|