Fri, 21 May 2010 11:46:47 +0200 | Cezary Kaliszyk | Isabelle renamings | file | diff | annotate |
Mon, 26 Apr 2010 08:08:20 +0200 | Christian Urban | changed theorem_i to theorem....requires new Isabelle | file | diff | annotate |
Tue, 26 Jan 2010 20:12:41 +0100 | Christian Urban | just moved obsolete material into Attic | file | diff | annotate | base |