# HG changeset patch
# User wenzelm
# Date 1193059631 -7200
# Node ID 5157a76559b6f8639b025981b73e89273888a4d1
# Parent  2a1acc88a180c7d95ca8d87e9171593d04603162
removed empty files;

diff -r 2a1acc88a180 -r 5157a76559b6 doc-src/LaTeXsugar/Sugar/document/LaTeXsugar.tex
diff -r 2a1acc88a180 -r 5157a76559b6 doc-src/LaTeXsugar/Sugar/document/OptionalSugar.tex
diff -r 2a1acc88a180 -r 5157a76559b6 src/HOL/FixedPoint.thy