1![](https://www.pdfsearch.io/img/58743c467a3abd9cb7af797eb0d1c0c8.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:18:50
|
---|
2![](https://www.pdfsearch.io/img/02de8cc408576390b547716de04f6590.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:03
|
---|
3![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/2a24bf34c46affa99d7f789c102237da.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:25
|
---|
4![Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very](https://www.pdfsearch.io/img/2f3f05825227022b0561ee3a64b01c28.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:18:36
|
---|
5![](https://www.pdfsearch.io/img/93d20625191a08aceaf284fe9f577a29.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:18:43
|
---|
6![Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle](https://www.pdfsearch.io/img/7923ce86431dc0dd051c717a84563141.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:42
|
---|
7![PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler, PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler,](https://www.pdfsearch.io/img/c2c3373f2940aec9f166227e29461d88.jpg) | Add to Reading ListSource URL: www.jbs.cam.ac.ukLanguage: English - Date: 2018-05-31 04:48:10
|
---|
8![](https://www.pdfsearch.io/img/1cec65a382c6a61831a4c5a801311a44.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:26
|
---|
9![](https://www.pdfsearch.io/img/fd6409756e7507cd4dff19b4874df82e.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:03
|
---|
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/0f2cacb04d5e3ac1de4ebcdd6d9e1e4c.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:23
|
---|