added isar-ref;
authorwenzelm
Mon Jul 19 17:07:30 1999 +0200 (1999-07-19)
changeset 7045d6595926aa10
parent 7044 193a8601fabd
child 7046 9f755ff43cff
added isar-ref;
Admin/index.html
doc-src/Contents
doc/Contents
     1.1 --- a/Admin/index.html	Mon Jul 19 17:03:10 1999 +0200
     1.2 +++ b/Admin/index.html	Mon Jul 19 17:07:30 1999 +0200
     1.3 @@ -54,6 +54,7 @@
     1.4  <li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a>
     1.5  <li> <a href="{ISABELLE}/doc/intro.pdf">Introduction to Isabelle</a>
     1.6  <li> <a href="{ISABELLE}/doc/ref.pdf">The Isabelle Reference Manual</a>
     1.7 +<li> <a href="{ISABELLE}/doc/isar-ref.pdf">The Isabelle/Isar Reference Manual</a>
     1.8  <li> <a href="{ISABELLE}/doc/system.pdf">The Isabelle System Manual</a>
     1.9  <li> <a href="{ISABELLE}/doc/logics.pdf">Isabelle's Logics: overview and misc logics</a>
    1.10  <li> <a href="{ISABELLE}/doc/logics-HOL.pdf">Isabelle's Logics: HOL</a>
     2.1 --- a/doc-src/Contents	Mon Jul 19 17:03:10 1999 +0200
     2.2 +++ b/doc-src/Contents	Mon Jul 19 17:07:30 1999 +0200
     2.3 @@ -1,1 +1,1 @@
     2.4 -Intro Ref System Logics HOL ZF Inductive AxClass Tutorial
     2.5 +Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef
     3.1 --- a/doc/Contents	Mon Jul 19 17:03:10 1999 +0200
     3.2 +++ b/doc/Contents	Mon Jul 19 17:07:30 1999 +0200
     3.3 @@ -1,6 +1,7 @@
     3.4  tutorial	Tutorial on Isabelle/HOL
     3.5  intro		Introduction to Isabelle
     3.6  ref		The Isabelle Reference Manual
     3.7 +isar-ref	The Isabelle/Isar Reference Manual
     3.8  system		The Isabelle System Manual
     3.9  logics		Isabelle's Logics: overview and misc logics
    3.10  logics-HOL	Isabelle's Logics: HOL