| Fri, 20 Jun 2003 18:13:16 +0200 |
paulson |
conversion of ClientImpl to Isar script
|
changeset |
files
|
| Fri, 20 Jun 2003 12:10:45 +0200 |
paulson |
Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
|
changeset |
files
|
| Thu, 19 Jun 2003 18:40:39 +0200 |
paulson |
inserted TUM in other places
|
changeset |
files
|
| Mon, 16 Jun 2003 17:48:43 +0200 |
paulson |
added TUM
|
changeset |
files
|
| Thu, 12 Jun 2003 16:40:59 +0200 |
paulson |
x-symbols (mostly)
|
changeset |
files
|
| Mon, 02 Jun 2003 15:02:31 +0200 |
kleing |
remove -p option, separate setting available
|
changeset |
files
|
| Mon, 02 Jun 2003 11:17:52 +0200 |
paulson |
Further tweaks of ZF/UNITY
|
changeset |
files
|
| Fri, 30 May 2003 11:44:29 +0200 |
paulson |
getting ZF/UNITY working again
|
changeset |
files
|
| Thu, 29 May 2003 17:10:00 +0200 |
paulson |
Introduction of the theories UNITY/Merge, UNITY/ClientImpl
|
changeset |
files
|
| Wed, 28 May 2003 18:13:41 +0200 |
paulson |
some new ZF/UNITY material from Sidi Ehmety
|
changeset |
files
|
| Wed, 28 May 2003 10:48:20 +0200 |
paulson |
examples now use Complex_Main
|
changeset |
files
|
| Wed, 28 May 2003 10:47:54 +0200 |
paulson |
new theorem
|
changeset |
files
|
| Tue, 27 May 2003 17:39:43 +0200 |
berghofe |
Added term_of function for product type.
|
changeset |
files
|
| Tue, 27 May 2003 17:39:17 +0200 |
berghofe |
Added pair_const.
|
changeset |
files
|
| 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
|
| Thu, 15 May 2003 11:22:54 +0200 |
kleing |
give tests time to copy settings
|
changeset |
files
|
| Wed, 14 May 2003 20:36:29 +0200 |
schirmer |
Added Bali to test
|
changeset |
files
|
| Wed, 14 May 2003 20:29:18 +0200 |
schirmer |
Adapted to changes in Map.thy
|
changeset |
files
|
| Wed, 14 May 2003 15:22:37 +0200 |
kleing |
use proof objects for HOL by default
|
changeset |
files
|
| Wed, 14 May 2003 14:20:55 +0200 |
nipkow |
eparation logic - a beginning.
|
changeset |
files
|
| Wed, 14 May 2003 11:15:18 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 14 May 2003 10:33:52 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 14 May 2003 10:22:09 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 13 May 2003 08:59:21 +0200 |
kleing |
HOL-Real -> HOL-Complex
Isabelle2003
|
changeset |
files
|
| Mon, 12 May 2003 19:54:43 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Mon, 12 May 2003 18:50:07 +0200 |
paulson |
tweaked
|
changeset |
files
|
| Mon, 12 May 2003 18:42:21 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Mon, 12 May 2003 18:11:44 +0200 |
paulson |
oops
|
changeset |
files
|
| Mon, 12 May 2003 15:57:46 +0200 |
kleing |
different colors for new release
|
changeset |
files
|
| Mon, 12 May 2003 15:51:34 +0200 |
ballarin |
Improved entry on Algebra.
|
changeset |
files
|
| Mon, 12 May 2003 15:49:37 +0200 |
kleing |
no separate x-symbol package
|
changeset |
files
|
| Mon, 12 May 2003 15:46:35 +0200 |
kleing |
Isabelle2002
|
changeset |
files
|
| Mon, 12 May 2003 15:46:13 +0200 |
kleing |
removed new jersey mirror
|
changeset |
files
|
| Mon, 12 May 2003 15:07:11 +0200 |
kleing |
done
|
changeset |
files
|
| Mon, 12 May 2003 15:06:43 +0200 |
kleing |
moved % comments out of ttboxes
|
changeset |
files
|
| Mon, 12 May 2003 14:49:08 +0200 |
kleing |
be nice on sunbroy2
|
changeset |
files
|
| Mon, 12 May 2003 14:17:55 +0200 |
kleing |
MicroJava LBV
|
changeset |
files
|
| Mon, 12 May 2003 14:16:38 +0200 |
schirmer |
Bali
|
changeset |
files
|
| Mon, 12 May 2003 13:57:23 +0200 |
kleing |
removed references to KDE versions (works for any).
|
changeset |
files
|
| Mon, 12 May 2003 13:51:50 +0200 |
berghofe |
Program extraction framework.
|
changeset |
files
|
| Mon, 12 May 2003 13:49:08 +0200 |
kleing |
smlnj link update, x-symbol/PG update
|
changeset |
files
|
| Mon, 12 May 2003 12:36:22 +0200 |
paulson |
some information for Constructible
|
changeset |
files
|
| Mon, 12 May 2003 12:27:10 +0200 |
paulson |
some information for Complex
|
changeset |
files
|
| Mon, 12 May 2003 12:26:50 +0200 |
paulson |
updated text
|
changeset |
files
|
| Mon, 12 May 2003 12:12:19 +0200 |
kleing |
makefiles for latex runs
|
changeset |
files
|
| Mon, 12 May 2003 11:56:29 +0200 |
kleing |
defer latex run to Makefile (not IsaMakefile)
|
changeset |
files
|