| Wed, 14 Dec 2011 01:32:42 +0000 | Christian Urban | generated the correct thm-list for showing that qfv are equal to support | file | diff | annotate |
| Tue, 13 Dec 2011 09:39:56 +0000 | Christian Urban | updated to Isabelle 13 Dec | file | diff | annotate |
| Tue, 06 Dec 2011 23:42:19 +0000 | Christian Urban | updated to Isabelle 6 Dec (thanks to Odrej Kuncar) | file | diff | annotate |