Mon, 16 Mar 2015 14:52:34 +0100 | hoelzl | add inequalities (move from AFP/Amortized_Complexity) | changeset | files |
Sun, 15 Mar 2015 23:46:00 +0100 | blanchet | merge | changeset | files |
Sun, 15 Mar 2015 22:00:15 +0100 | blanchet | inlining threshold | changeset | files |
Sun, 15 Mar 2015 22:00:15 +0100 | blanchet | avoid controversial Pirate syntax | changeset | files |
Sun, 15 Mar 2015 22:15:08 +0100 | wenzelm | more markup, which helps to create missing imports; | changeset | files |
Sun, 15 Mar 2015 22:05:08 +0100 | wenzelm | tuned signature; | changeset | files |