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

First Page		Document Content
Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX		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 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 237,68 KB Share Document on Facebook

	“DONot Fold, Spindle or Mutilate”: A Cultural History of the Punch Card Steven Lubar One hundred years have passed since Herman Hollerith invented the punch card to tabulate the 1890census. That’s also, almost exac DocID: 1xVGz - View Document
	Isomer Info Sheet Isomer is a lightweight solution for Singapore Government informational services that employs UX best practices. The goal of Isomer is three-fold: DocID: 1xVx1 - View Document
	Cut Fold First simple steps DocID: 1xVvw - View Document
	General Brochure_tri-fold_final DocID: 1xUrP - View Document
	MVPAGE 1 of 2 HERE FOLD DocID: 1vs0T - View Document