2005-06-16 nipkow [Thu, 16 Jun 2005 11:20:52 +0200] rev 16410
*** empty log message ***
doc-src/TutorialI/Rules/rules.tex

2005-06-16 nipkow [Thu, 16 Jun 2005 11:10:51 +0200] rev 16409
*** empty log message ***
doc-src/TutorialI/ToyList/document/ToyList.tex

2005-06-16 haftmann [Thu, 16 Jun 2005 10:42:55 +0200] rev 16408
isa-migrate ++
Admin/isa-migrate

2005-06-16 haftmann [Thu, 16 Jun 2005 10:37:39 +0200] rev 16407
isa-migrate ++
Admin/isa-migrate

2005-06-16 haftmann [Thu, 16 Jun 2005 10:30:26 +0200] rev 16406
isa-migrate ++
Admin/isa-migrate

2005-06-16 haftmann [Thu, 16 Jun 2005 10:22:50 +0200] rev 16405
added macos emacs hints
Admin/website/dist/installation_macos_emacs.html

2005-06-16 haftmann [Thu, 16 Jun 2005 10:21:36 +0200] rev 16404
isa-migrate ++
Admin/isa-migrate

2005-06-15 huffman [Wed, 15 Jun 2005 23:35:43 +0200] rev 16403
Domain package uses ContProc for beta reduction
src/HOLCF/cont_proc.ML src/HOLCF/domain/theorems.ML

2005-06-15 huffman [Wed, 15 Jun 2005 21:48:35 +0200] rev 16402
allow theorem attributes on fixpat declarations
src/HOLCF/fixrec_package.ML

2005-06-15 huffman [Wed, 15 Jun 2005 20:50:38 +0200] rev 16401
fixrec package now handles mutually-recursive definitions
src/HOLCF/Fixrec.thy src/HOLCF/fixrec_package.ML