| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | shorten the code by conditional function application | changeset | files |
| Wed, 07 Apr 2010 20:38:11 +0200 | boehmes | fail for problems containg the universal sort (as those problems cannot be atomized) | changeset | files |
| Wed, 07 Apr 2010 19:48:58 +0200 | boehmes | renamed "smt_record" to "smt_fixed" (somewhat more expressive) and inverted its semantics | changeset | files |
| Wed, 07 Apr 2010 17:24:44 +0200 | hoelzl | Added Information theory and Example: dining cryptographers | changeset | files |
| Wed, 07 Apr 2010 11:05:11 +0200 | Christian Urban | simplified induction case in finite_psubset_induct; tuned the proof that uses this induction principle | changeset | files |
| Tue, 06 Apr 2010 11:00:57 +0200 | krauss | removed (latex output) notation which is sometimes very ugly | changeset | files |
| Tue, 06 Apr 2010 10:48:16 +0200 | boehmes | merged | changeset | files |