Thu, 18 Apr 2024 13:06:48 +0200 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
Thu, 18 Apr 2024 13:07:34 +0100 | paulson | Acknowledgement of Ata Keskin for his Martingales material | file | diff | annotate |
Fri, 05 Apr 2024 17:10:02 +0200 | Simon Wimmer | Add entry on Sketch_and_Explore to CONTRIBUTORS | file | diff | annotate |
Thu, 04 Apr 2024 15:29:41 +0200 | Manuel Eberl | moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory | file | diff | annotate |
Tue, 26 Mar 2024 21:25:35 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
Mon, 25 Mar 2024 14:08:25 +0100 | nipkow | documented running time function framework by Jonas Stahl | file | diff | annotate |
Wed, 20 Mar 2024 16:05:15 +0100 | Manuel Eberl | more general definition of meromorphicity; Weierstraß factorisation theorem | file | diff | annotate |