tuned whitespace;
authorwenzelm
Fri Mar 07 11:41:25 2014 +0100 (2014-03-07)
changeset 55973471a71017cfc
parent 55972 51b342baecda
child 55974 c835a9379026
tuned whitespace;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Fri Mar 07 11:34:41 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Mar 07 11:41:25 2014 +0100
     1.3 @@ -213,7 +213,6 @@
     1.4      Verification of imperative programs (verification conditions are generated
     1.5      automatically from pre/post conditions and loop invariants).
     1.6    *}
     1.7 -
     1.8    theories Hoare
     1.9    files "document/root.bib" "document/root.tex"
    1.10