| 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 |