| Sat, 14 Jul 2012 16:35:58 +0200 | nipkow | removed superfluous lemmas | file | diff | annotate |
| Sat, 28 Apr 2012 07:38:22 +0200 | nipkow | renamed Semi to Seq | file | diff | annotate |
| Mon, 30 Jan 2012 17:15:59 +0100 | blanchet | rename lambda translation schemes | file | diff | annotate |
| Sun, 11 Dec 2011 18:22:06 +0100 | nipkow | added IMP/Live_True.thy | file | diff | annotate |