| Sat, 02 Nov 2019 18:47:00 +0000 | paulson | oops — fixed symbols!! | changeset | files |
| Sat, 02 Nov 2019 15:52:47 +0000 | paulson | reorganisation to eliminate Brouwer_Fixpoint from complex analysis | changeset | files |
| Sat, 02 Nov 2019 14:31:48 +0000 | paulson | merged | changeset | files |
| Sat, 02 Nov 2019 14:31:34 +0000 | paulson | Inverse function theorem + lemmas | changeset | files |
| Sat, 02 Nov 2019 13:37:15 +0100 | wenzelm | back to more elementary Buffer.T -- less intermediate garbage; | changeset | files |
| Sat, 02 Nov 2019 13:25:58 +0100 | wenzelm | unused; | changeset | files |
| Sat, 02 Nov 2019 13:20:37 +0100 | wenzelm | unused; | changeset | files |