| 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 |
| Tue, 06 Apr 2010 10:46:28 +0200 | boehmes | added missing mult_1_left to linarith simp rules | changeset | files |
| Tue, 06 Apr 2010 09:27:03 +0200 | krauss | tuned proof (no induction needed); removed unused lemma and fuzzy comment | changeset | files |
| Fri, 02 Apr 2010 17:20:43 +0200 | wenzelm | isatest: basic setup for cygwin-poly on atbroy102; | changeset | files |
| Thu, 01 Apr 2010 15:37:30 +0200 | wenzelm | slightly more standard dependencies; | changeset | files |