hol88 (2.02.19940316-13.1) Library/parser/Manual/theorems.tex

Summary


     Library/parser/Manual/theorems.tex |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

download this patch

Patch contents

--- hol88-2.02.19940316.orig/Library/parser/Manual/theorems.tex
+++ hol88-2.02.19940316/Library/parser/Manual/theorems.tex
@@ -1 +1 @@
-\chapter{Pre-proved Theorems}
+\chapter{Pre-proved Theorems}
\ No newline at end of file

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo