| Fri, 17 Apr 2015 11:52:36 +0200 | Rene Thiemann | finprod takes 1 in case of infinite sets => remove several "finite A" assumptions | changeset | files |
| Fri, 17 Apr 2015 13:01:09 +0200 | traytel | (low importance) NEWS | changeset | files |
| Fri, 17 Apr 2015 12:12:14 +0200 | noschinl | merged | changeset | files |
| Fri, 17 Apr 2015 11:12:19 +0200 | noschinl | merged | changeset | files |
| Fri, 17 Apr 2015 10:49:57 +0200 | noschinl | rewrite: add default pattern "in concl" for more cases | changeset | files |
| Fri, 17 Apr 2015 11:31:33 +0200 | wenzelm | more session groups; | changeset | files |
| Fri, 17 Apr 2015 11:28:57 +0200 | wenzelm | allow to exclude session groups; | changeset | files |
| Fri, 17 Apr 2015 09:56:12 +0200 | Lars Hupel | merged | changeset | files |
| Thu, 16 Apr 2015 17:52:12 +0200 | Lars Hupel | removed trivial lemmas | changeset | files |
| Thu, 16 Apr 2015 23:16:22 +0200 | wenzelm | proper Theory.check; | changeset | files |
| Thu, 16 Apr 2015 23:01:33 +0200 | wenzelm | make SML/NJ happy; | changeset | files |
| Thu, 16 Apr 2015 20:54:01 +0200 | wenzelm | merged; | changeset | files |