Isabelle of FRANCE Capetian Sanctity and Franciscan Identity

First Page		Document Content
Date: 2011-04-20 11:08:25 Christianity Louis IX of France Blanche of Castile Philip II of France Isabelle Franciscan Members of the French Royal Families Agnes of Bohemia Isabel House of Capet Nobility Royalty		Isabelle of FRANCE Capetian Sanctity and Franciscan Identity Add to Reading List Source URL: www3.nd.edu Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	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 DocID: 1xVCA - View Document
	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber DocID: 1xVzf - View Document
	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber DocID: 1xVu1 - View Document
	PDF Document DocID: 1xVhU - View Document
	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 DocID: 1xVds - View Document