| Fri, 25 Apr 2003 11:18:41 +0200 | paulson | Auth: certified email protocol | changeset | files |
| Fri, 25 Apr 2003 11:18:14 +0200 | paulson | Changes required by the certified email protocol | changeset | files |
| Wed, 23 Apr 2003 18:09:48 +0200 | berghofe | Fixed problem in add_elim_realizer which caused bound variables to | changeset | files |
| Wed, 23 Apr 2003 13:33:55 +0200 | kleing | more documentation | changeset | files |
| Wed, 23 Apr 2003 13:06:36 +0200 | paulson | Got rid of the [iff], which was effectively inserting converseD | changeset | files |
| Wed, 23 Apr 2003 00:14:55 +0200 | berghofe | Tuned realizer for exE rule, to avoid blowup of extracted program. | changeset | files |
| Wed, 23 Apr 2003 00:13:32 +0200 | berghofe | elim_vars now handles both Vars and Frees. | changeset | files |