| Thu, 21 Mar 2013 10:05:03 +0100 | nipkow | proofs depend only on constraints, not on def of L WHILE | file | diff | annotate |
| Wed, 20 Mar 2013 11:16:31 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 19 Mar 2013 14:07:13 +0100 | nipkow | tuned | file | diff | annotate |
| Sat, 16 Mar 2013 17:22:05 +0100 | nipkow | tuned (in particular bold fonts) | file | diff | annotate |
| Fri, 23 Nov 2012 23:07:38 +0100 | nipkow | moved lemma | file | diff | annotate |
| Mon, 05 Nov 2012 11:40:51 +0100 | nipkow | tuned | file | diff | annotate |
| Sun, 04 Nov 2012 18:38:18 +0100 | nipkow | executable true liveness analysis incl an approximating version | file | diff | annotate |
| 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 |