| Sat, 04 Aug 2018 22:32:41 +0200 | wenzelm | export in foundational order; | changeset | files |
| 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 |
| Sat, 04 Aug 2018 00:19:23 +0100 | paulson | merged | changeset | files |
| Sat, 04 Aug 2018 00:19:15 +0100 | paulson | de-applying | changeset | files |
| Fri, 03 Aug 2018 21:38:54 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 03 Aug 2018 20:14:13 +0200 | wenzelm | tuned signature -- removed somewhat pointless operation; | changeset | files |