# HG changeset patch
# User krauss
# Date 1166008063 -3600
# Node ID 6a35e8ec8d751719ce927bfc05666b6a3e0a6c4a
# Parent  b2d23672b003264e4fa959439be9b897329c363f
added IsarAdvanced/Functions

diff -r b2d23672b003 -r 6a35e8ec8d75 doc-src/Contents
--- a/doc-src/Contents	Wed Dec 13 00:07:13 2006 +0100
+++ b/doc-src/Contents	Wed Dec 13 12:07:43 2006 +0100
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions