added IsarImplementation;
authorwenzelm
Tue Jan 03 00:06:22 2006 +0100 (2006-01-03)
changeset 18542f42e544805f5
parent 18541 00890455e95f
child 18543 e903a1d0bed5
added IsarImplementation;
doc-src/Contents
     1.1 --- a/doc-src/Contents	Tue Jan 03 00:06:20 2006 +0100
     1.2 +++ b/doc-src/Contents	Tue Jan 03 00:06:22 2006 +0100
     1.3 @@ -1,1 +1,1 @@
     1.4 -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales LaTeXsugar
     1.5 +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar