From bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Sep 2000 15:01:50 +0000 Subject: Renamed file --- html/smallheader.html | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 html/smallheader.html (limited to 'html/smallheader.html') diff --git a/html/smallheader.html b/html/smallheader.html new file mode 100644 index 00000000..8cf93a42 --- /dev/null +++ b/html/smallheader.html @@ -0,0 +1,8 @@ + + + +
+ +Proof General Home + + -- cgit v1.2.3