Tue, 29 Nov 2016 16:58:10 +0100 | nipkow | merged | changeset | files |
Tue, 29 Nov 2016 10:53:52 +0100 | nipkow | more lemmas, tuned proofs | changeset | files |
Tue, 29 Nov 2016 08:32:46 +0100 | blanchet | don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful | changeset | files |
Tue, 29 Nov 2016 08:32:44 +0100 | blanchet | added lemma about 'mult', as suggested by Bertram Felgenhauer | changeset | files |
Mon, 28 Nov 2016 15:09:23 +0100 | nipkow | tuned proof | changeset | files |
Sun, 27 Nov 2016 20:25:38 +0100 | wenzelm | merged | changeset | files |
Sun, 27 Nov 2016 15:21:06 +0100 | wenzelm | Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d | changeset | files |