| Mon, 26 Feb 2018 07:34:05 +0100 | immler | moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements | changeset | files |
| Sun, 25 Feb 2018 20:05:05 +0100 | wenzelm | merged | changeset | files |
| Sun, 25 Feb 2018 19:43:38 +0100 | wenzelm | prefer symbols; | changeset | files |
| Sun, 25 Feb 2018 19:30:55 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 25 Feb 2018 19:19:11 +0100 | wenzelm | more abbrevs; | changeset | files |
| Sun, 25 Feb 2018 19:16:32 +0100 | wenzelm | allow multiple entries of and_list (on both sides); | changeset | files |
| Sun, 25 Feb 2018 15:44:46 +0100 | wenzelm | eliminated ASCII syntax from Pure bootstrap; | changeset | files |