| Thu, 12 May 2005 18:24:42 +0200 |
paulson |
theorem names for caching
|
changeset |
files
|
| Thu, 12 May 2005 15:42:58 +0200 |
paulson |
memoization of ResAxioms.cnf_axiom rather than of Reconstruction.clausify_rule
|
changeset |
files
|
| Thu, 12 May 2005 10:48:46 +0200 |
paulson |
first-order now ignores "all"
|
changeset |
files
|
| 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
|