| Wed, 23 Apr 2025 14:42:38 +0200 | Manuel Eberl | a few small lemmas for HOL and HOL-Analysis | changeset | files |
| Wed, 23 Apr 2025 01:38:06 +0200 | Manuel Eberl | some material on power series and infinite products | changeset | files |
| Tue, 22 Apr 2025 22:06:52 +0100 | paulson | merged | changeset | files |
| Tue, 22 Apr 2025 17:35:13 +0100 | paulson | merged | changeset | files |
| Tue, 22 Apr 2025 17:35:02 +0100 | paulson | More tidying and some variable renaming | changeset | files |
| Tue, 22 Apr 2025 19:02:33 +0200 | Manuel Eberl | dropped problematic code equation for multisets for RBT code testing | changeset | files |
| Tue, 22 Apr 2025 15:41:34 +0200 | Manuel Eberl | removed possible problematic dependency in HOL-Library.Multiset | changeset | files |
| Tue, 22 Apr 2025 14:14:00 +0200 | Manuel Eberl | HOL-Library: multisets of a given size | changeset | files |
| Tue, 22 Apr 2025 12:53:32 +0200 | Manuel Eberl | some facts about derivatives of products | changeset | files |
| Fri, 18 Apr 2025 16:51:31 +0200 | Manuel Eberl | more about formal convergence of power series | changeset | files |
| Fri, 18 Apr 2025 16:51:23 +0200 | Manuel Eberl | removed name clash in some lemmas | changeset | files |
| Fri, 18 Apr 2025 12:33:01 +0200 | Manuel Eberl | added orphaned theory to HOL-Analysis | changeset | files |
| Fri, 18 Apr 2025 12:26:04 +0200 | Manuel Eberl | some facts about power series | changeset | files |
| Fri, 18 Apr 2025 10:58:16 +0200 | Manuel Eberl | moved some lemmas to where they fit better | changeset | files |
| Mon, 21 Apr 2025 08:24:58 +0200 | haftmann | more efficient conversions for symbolic representations | changeset | files |
| Sun, 20 Apr 2025 16:45:09 +0200 | haftmann | notes on bit shift rewrites | changeset | files |
| Sun, 20 Apr 2025 11:42:13 +0200 | haftmann | explicit case rule | changeset | files |
| Sun, 20 Apr 2025 07:51:06 +0200 | haftmann | more lemmas | changeset | files |
| Sat, 19 Apr 2025 17:39:06 +0200 | haftmann | more lemmas | changeset | files |
| Fri, 18 Apr 2025 14:19:41 +0200 | haftmann | explicit check for computations on word type | changeset | files |
| Thu, 17 Apr 2025 22:57:26 +0100 | paulson | more tidying | changeset | files |
| Wed, 16 Apr 2025 21:13:33 +0100 | paulson | merged | changeset | files |
| Wed, 16 Apr 2025 21:13:27 +0100 | paulson | tidied more proofs | changeset | files |
| Wed, 16 Apr 2025 11:38:38 +0200 | Manuel Eberl | removed duplicate lemmas | changeset | files |
| Tue, 15 Apr 2025 17:38:20 +0200 | Manuel Eberl | lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory | changeset | files |
| Tue, 15 Apr 2025 15:17:25 +0200 | Manuel Eberl | new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros | changeset | files |
| Tue, 15 Apr 2025 23:04:44 +0200 | haftmann | official theory for using bit shift operations for ordinary arithmetic if feasible | changeset | files |
| Tue, 15 Apr 2025 19:40:42 +0200 | haftmann | corrected operation | changeset | files |
| Tue, 15 Apr 2025 19:40:39 +0200 | haftmann | tuned whitespace | changeset | files |
| Tue, 15 Apr 2025 15:30:21 +0100 | paulson | Simplified old proofs | changeset | files |
| Mon, 14 Apr 2025 20:42:03 +0200 | wenzelm | merged | changeset | files |
| Mon, 14 Apr 2025 20:04:40 +0200 | wenzelm | update to recent MSYS2 / MinGW, which also works via Cygwin; | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | revamped generation of functions | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | NEWS | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | typo | changeset | files |
| Mon, 14 Apr 2025 13:57:48 +0200 | desharna | tuned | changeset | files |
| Sun, 13 Apr 2025 23:01:03 +0100 | paulson | merged | changeset | files |
| Sun, 13 Apr 2025 23:00:55 +0100 | paulson | Tidied some proofs | changeset | files |
| Sun, 13 Apr 2025 20:21:57 +0200 | wenzelm | merged | changeset | files |
| Sun, 13 Apr 2025 12:29:31 +0200 | wenzelm | clarified signature: more uniform; | changeset | files |
| Sun, 13 Apr 2025 12:26:30 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 13 Apr 2025 12:23:48 +0200 | wenzelm | more accurate MinGW path conversion: support locations outside of mingw.root; | changeset | files |
| Sat, 12 Apr 2025 22:10:57 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 12 Apr 2025 19:22:43 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 12 Apr 2025 19:14:54 +0200 | wenzelm | more uniform directory structure: Windows DLLs are treated like binaries; | changeset | files |
| Sat, 12 Apr 2025 19:05:31 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 12 Apr 2025 17:24:09 +0200 | wenzelm | more uniform make_polyml_gmp vs. make_polyml; | changeset | files |
| Sat, 12 Apr 2025 17:12:51 +0200 | wenzelm | clarified options: explicit use of existing GMP library; | changeset | files |
| Sat, 12 Apr 2025 16:00:56 +0200 | wenzelm | clarified default options: prefer GMP from source; | changeset | files |
| Sat, 12 Apr 2025 22:42:32 +0100 | paulson | Tidied more messy old proofs | changeset | files |
| Fri, 11 Apr 2025 22:17:06 +0100 | paulson | more tidying and simplifying | changeset | files |
| Fri, 11 Apr 2025 21:57:03 +0100 | paulson | merged | changeset | files |
| Fri, 11 Apr 2025 21:56:56 +0100 | paulson | tidying some old proofs | changeset | files |
| Fri, 11 Apr 2025 16:24:04 +0100 | paulson | Generalised a lemma and added another | changeset | files |
| Thu, 10 Apr 2025 22:54:40 +0200 | wenzelm | merged | changeset | files |
| Thu, 10 Apr 2025 22:18:50 +0200 | wenzelm | more robust; | changeset | files |