# HG changeset patch # User wenzelm # Date 939391482 -7200 # Node ID e51bd412debc974539eb75bb7ab0a3f382f2c2c3 # Parent fba7a36e8556ae4bd8446623add277489ed1fa5f removed generated index.html; diff -r fba7a36e8556 -r e51bd412debc src/HOL/TLA/Buffer/index.html --- a/src/HOL/TLA/Buffer/index.html Fri Oct 08 15:50:10 1999 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -buffer -

buffer

-The name of every theory is linked to its theory file
-\/ stands for subtheories (child theories)
-/\ stands for supertheories (parent theories)

-Back to the index of ex -

\//\ Buffer
-\//\ DBuffer