--- a/src/Doc/ROOT Fri Dec 07 17:00:40 2012 +0100
+++ b/src/Doc/ROOT Fri Dec 07 18:05:24 2012 +0100
@@ -8,7 +8,6 @@
"../iman.sty"
"../extra.sty"
"../isar.sty"
- "../proof.sty"
"../manual.bib"
"document/build"
"document/root.tex"
@@ -31,7 +30,6 @@
"../iman.sty"
"../extra.sty"
"../isar.sty"
- "../proof.sty"
"../manual.bib"
"document/adapt.tex"
"document/architecture.tex"
@@ -65,7 +63,6 @@
"../iman.sty"
"../extra.sty"
"../ttbox.sty"
- "../proof.sty"
"../manual.bib"
"document/build"
"document/root.tex"
@@ -89,7 +86,6 @@
"../iman.sty"
"../extra.sty"
"../isar.sty"
- "../proof.sty"
"../ttbox.sty"
"../underscore.sty"
"../manual.bib"
@@ -167,7 +163,6 @@
"../iman.sty"
"../extra.sty"
"../ttbox.sty"
- "../proof.sty"
"../manual.bib"
"document/build"
"document/root.tex"
@@ -181,7 +176,6 @@
"../iman.sty"
"../extra.sty"
"../ttbox.sty"
- "../proof.sty"
"../manual.bib"
"../Logics/document/syntax.tex"
"document/build"
@@ -201,7 +195,6 @@
"../pdfsetup.sty"
"../isar.sty"
"../ttbox.sty"
- "../proof.sty"
"../manual.bib"
"../Logics/document/syntax.tex"
"document/build"
@@ -258,7 +251,6 @@
"../iman.sty"
"../extra.sty"
"../ttbox.sty"
- "../proof.sty"
"../manual.bib"
"document/build"
"document/root.tex"
@@ -363,7 +355,6 @@
"ToyList/ToyList1"
"ToyList/ToyList2"
"../pdfsetup.sty"
- "../proof.sty"
"../ttbox.sty"
"../manual.bib"
"document/advanced0.tex"