desharna [Mon, 24 Mar 2025 14:27:18 +0100] rev 82336
added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
desharna [Mon, 24 Mar 2025 14:21:36 +0100] rev 82335
added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
desharna [Mon, 24 Mar 2025 14:09:48 +0100] rev 82334
tuned variable names
desharna [Mon, 24 Mar 2025 14:09:05 +0100] rev 82333
tuned proof
desharna [Mon, 24 Mar 2025 14:08:20 +0100] rev 82332
moved lemmas around
desharna [Mon, 24 Mar 2025 14:05:55 +0100] rev 82331
removed reflp_mono (use reflp_on_mono_strong instead)
desharna [Mon, 24 Mar 2025 14:04:11 +0100] rev 82330
added lemma reflp_on_mono[mono]
desharna [Mon, 24 Mar 2025 13:59:08 +0100] rev 82329
strengthened reflp_on_mono and renamed to reflp_on_mono_strong
desharna [Mon, 24 Mar 2025 09:56:20 +0100] rev 82328
added lemmas antisymp_on_mono_stronger, antisymp_on_mono_strong, antisymp_on_mono[mono]
desharna [Mon, 24 Mar 2025 09:53:17 +0100] rev 82327
moved lemmas around
desharna [Mon, 24 Mar 2025 09:04:53 +0100] rev 82326
proper lemma name
desharna [Mon, 24 Mar 2025 09:02:19 +0100] rev 82325
added lemmas left_unique_mono_strong, left_unique_mono[mono], right_unique_mono_strong, right_unique_mono[mono]
paulson [Sun, 23 Mar 2025 22:33:19 +0000] rev 82324
merged
paulson <lp15@cam.ac.uk> [Sun, 23 Mar 2025 19:26:23 +0000] rev 82323
Function space instead of image closure
wenzelm [Sun, 23 Mar 2025 17:07:55 +0100] rev 82322
remove junk (amending 0811cfce1f5b);
wenzelm [Sun, 23 Mar 2025 15:12:20 +0100] rev 82321
support for "isabelle jedit -o OPTION";