Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 25 Mar 2025 09:40:45 +0100 weakened hypothesis (suggested by Moritz Roos)
changeset
nipkow [Tue, 25 Mar 2025 09:40:45 +0100] rev 82340
weakened hypothesis (suggested by Moritz Roos)
Tue, 25 Mar 2025 09:06:57 +0100 tuned variable names such that A \<subseteq> B
changeset
desharna [Tue, 25 Mar 2025 09:06:57 +0100] rev 82339
tuned variable names such that A \<subseteq> B
Mon, 24 Mar 2025 21:24:03 +0000 New material by Manuel Eberl
changeset
paulson <lp15@cam.ac.uk> [Mon, 24 Mar 2025 21:24:03 +0000] rev 82338
New material by Manuel Eberl
Mon, 24 Mar 2025 14:29:52 +0100 moved lemmas around
changeset
desharna [Mon, 24 Mar 2025 14:29:52 +0100] rev 82337
moved lemmas around
Mon, 24 Mar 2025 14:27:18 +0100 added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
changeset
desharna [Mon, 24 Mar 2025 14:27:18 +0100] rev 82336
added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
Mon, 24 Mar 2025 14:21:36 +0100 added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
changeset
desharna [Mon, 24 Mar 2025 14:21:36 +0100] rev 82335
added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
Mon, 24 Mar 2025 14:09:48 +0100 tuned variable names
changeset
desharna [Mon, 24 Mar 2025 14:09:48 +0100] rev 82334
tuned variable names
Mon, 24 Mar 2025 14:09:05 +0100 tuned proof
changeset
desharna [Mon, 24 Mar 2025 14:09:05 +0100] rev 82333
tuned proof
Mon, 24 Mar 2025 14:08:20 +0100 moved lemmas around
changeset
desharna [Mon, 24 Mar 2025 14:08:20 +0100] rev 82332
moved lemmas around
Mon, 24 Mar 2025 14:05:55 +0100 removed reflp_mono (use reflp_on_mono_strong instead)
changeset
desharna [Mon, 24 Mar 2025 14:05:55 +0100] rev 82331
removed reflp_mono (use reflp_on_mono_strong instead)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
isabelle