Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/3464

This item has been viewed 3 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
0020.pdf290.22 kBAdobe PDFView/Open
Title: Isamode: Theorem Proving with Isabelle inside Emacs
Authors: Aspinall, David
Issue Date: 2000
Publisher: The University of Edinburgh
Series/Report no.: Informatics Report Series
EDI-INF-RR-0020
Abstract: This paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs.
Keywords: Informatics
URI: http://hdl.handle.net/1842/3464
Appears in Collections:Informatics Report Series

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy