| Wed, 18 Jan 2023 11:32:27 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 19 Jan 2023 13:55:38 +0000 | paulson | HOL/Library/BigO is obsolete | changeset | files |
| Thu, 19 Jan 2023 11:13:52 +0000 | paulson | merged | changeset | files |
| Thu, 19 Jan 2023 11:13:45 +0000 | paulson | tidy up of this messy and obsolete theory | changeset | files |
| Tue, 17 Jan 2023 16:56:27 +0100 | wenzelm | clarified file positions: retain original source path; | changeset | files |
| Tue, 17 Jan 2023 16:08:54 +0100 | wenzelm | backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e; | changeset | files |
| Tue, 17 Jan 2023 15:55:52 +0100 | wenzelm | clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9; | changeset | files |