Wed, 23 Nov 2016 16:28:42 +0100 | nipkow | moved IMP/Abs_Int_ITP to AFP/Abs_Int_ITP2012 | changeset | files |
Tue, 22 Nov 2016 18:36:59 +0100 | nipkow | added lemma | changeset | files |
Tue, 22 Nov 2016 16:22:05 +0100 | nipkow | added simp rule | changeset | files |
Tue, 15 Nov 2016 17:39:40 +0100 | blanchet | generalized experimental feature slightly | changeset | files |