isabelle: Changelog

desharna [Fri, 04 Jun 2021 23:03:12 +0200] rev 73797

moved stride option from sledgehammer action to main mirabelle

paulson [Thu, 03 Jun 2021 10:58:15 +0100] rev 73796

merged

paulson <lp15@cam.ac.uk> [Thu, 03 Jun 2021 10:47:20 +0100] rev 73795

new lemmas mostly about paths

haftmann [Wed, 02 Jun 2021 12:45:27 +0000] rev 73794

lexorders the locale way

haftmann [Mon, 31 May 2021 20:27:45 +0000] rev 73793

more accurate export morphism enables proper instantiation by interpretation

paulson [Sat, 29 May 2021 13:42:26 +0100] rev 73792

merged

paulson <lp15@cam.ac.uk> [Fri, 28 May 2021 18:11:34 +0100] rev 73791

some new and/or varient results about images

paulson <lp15@cam.ac.uk> [Fri, 28 May 2021 14:43:06 +0100] rev 73790

nicer statement of Liouville_theorem

haftmann [Fri, 28 May 2021 20:21:25 +0000] rev 73789

more lemmas

haftmann [Fri, 28 May 2021 20:21:23 +0000] rev 73788

max word moved to Word_Lib in AFP

isabelle