| Tue, 27 May 2003 11:46:29 +0200 |
paulson |
removed redundant line
|
changeset |
files
|
| Tue, 27 May 2003 11:39:03 +0200 |
paulson |
updating ZF-UNITY with Sidi's new material
|
changeset |
files
|
| Mon, 26 May 2003 18:36:15 +0200 |
streckem |
Introduced distinction wf_prog vs. ws_prog
|
changeset |
files
|
| Mon, 26 May 2003 11:42:41 +0200 |
kleing |
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
|
changeset |
files
|
| Sat, 24 May 2003 19:52:53 +0200 |
kleing |
fixed
|
changeset |
files
|
| Fri, 23 May 2003 17:19:53 +0200 |
kleing |
make it possible to switch off proof objects for HOL image
|
changeset |
files
|
| Fri, 23 May 2003 17:18:10 +0200 |
kleing |
make it possible to switch off proof objects
|
changeset |
files
|
| Tue, 20 May 2003 11:52:42 +0200 |
kleing |
be less verbose about simplification depth
|
changeset |
files
|
| Sun, 18 May 2003 16:30:20 +0200 |
kleing |
fix typo
|
changeset |
files
|
| Sun, 18 May 2003 16:29:18 +0200 |
kleing |
attach log files
|
changeset |
files
|
| Sun, 18 May 2003 16:16:58 +0200 |
kleing |
more cleanup
|
changeset |
files
|
| Sun, 18 May 2003 16:15:01 +0200 |
kleing |
fix mime stuff
|
changeset |
files
|
| Sun, 18 May 2003 15:28:41 +0200 |
kleing |
attach log files
|
changeset |
files
|
| Sun, 18 May 2003 15:15:13 +0200 |
kleing |
support text file attachments
|
changeset |
files
|
| Fri, 16 May 2003 16:35:36 +0200 |
webertj |
Added a few lemmas about map_le
|
changeset |
files
|