| Sat, 04 Aug 2018 16:21:25 +0200 | wenzelm | recovered HOL-Proofs-Lambda from 8aedca31957d: avoid problems with program extraction according to d136af442665; | changeset | files |
| Sat, 04 Aug 2018 15:49:54 +0200 | wenzelm | more Pure theory content; | changeset | files |
| Sat, 04 Aug 2018 01:03:39 +0200 | eberlm | Small lemmas about analysis | changeset | files |