The {ISABELLE} Library

diff -r 2e91cc4ddf29 -r 04cb7e02ca38 lib/html/index.html --- a/lib/html/index.html Tue Oct 30 10:51:35 2007 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,76 +0,0 @@ - - - - - - - - - - The {ISABELLE} Library - - - - - - - - - - -