| Thu, 12 May 2005 09:45:54 +0200 |
nipkow |
fixed a few things and added Haftmann as author
|
changeset |
files
|
| Wed, 11 May 2005 17:45:38 +0200 |
paulson |
documented new subst method
|
changeset |
files
|
| Wed, 11 May 2005 16:30:24 +0200 |
haftmann |
corrections
|
changeset |
files
|
| Wed, 11 May 2005 09:50:33 +0200 |
nipkow |
Added thms by Brian Huffmann
|
changeset |
files
|
| Tue, 10 May 2005 18:37:43 +0200 |
paulson |
new cterm primitives
|
changeset |
files
|
| Tue, 10 May 2005 10:25:21 +0200 |
paulson |
oops...cannot use subst here
|
changeset |
files
|
| Tue, 10 May 2005 06:59:32 +0200 |
kleing |
table centering, headline 'other platform'
|
changeset |
files
|
| Mon, 09 May 2005 16:40:37 +0200 |
paulson |
unfolding of Ex1
|
changeset |
files
|
| Mon, 09 May 2005 16:40:11 +0200 |
paulson |
choice_const moved to hologic.ML
|
changeset |
files
|
| Mon, 09 May 2005 16:38:56 +0200 |
paulson |
from simplesubst to new subst
|
changeset |
files
|
| Mon, 09 May 2005 16:02:45 +0200 |
haftmann |
minor corrections
|
changeset |
files
|
| Mon, 09 May 2005 02:03:48 +0200 |
kleing |
made file links local, smoothed text over in some places
|
changeset |
files
|
| Mon, 09 May 2005 02:03:01 +0200 |
kleing |
made file list nicer
|
changeset |
files
|
| Mon, 09 May 2005 02:02:25 +0200 |
kleing |
moved description (dist area) out of link
|
changeset |
files
|
| Mon, 09 May 2005 01:39:06 +0200 |
kleing |
made download links local, provide explicit list of files to download
|
changeset |
files
|