# HG changeset patch
# User wenzelm
# Date 925837003 -7200
# Node ID c07187514ce5fc51d464acd68bf4f1bf275e5b0e
# Parent  d5eae11efa42bfa2fd70d209578518c56cd5cdb8
HOL;

diff -r d5eae11efa42 -r c07187514ce5 doc-src/Contents
--- a/doc-src/Contents	Tue May 04 18:55:43 1999 +0200
+++ b/doc-src/Contents	Tue May 04 18:56:43 1999 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics ZF Inductive AxClass Tutorial
+Intro Ref System Logics HOL ZF Inductive AxClass Tutorial