isabelle: Changelog

haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63158

explicit quasi-global context for nbe conversions -- works around quasi-global type variable handling in lift_triv_classes_conv

haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63157

clarified naming conventions and code for code evaluation sandwiches

haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63156

clarified names of variants

nipkow [Thu, 26 May 2016 09:05:00 +0200] rev 63155

added function "prefixes" and some lemmas

paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:52:19 +0100] rev 63154

Merge

paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:47:08 +0100] rev 63153

Merge

paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:39:07 +0100] rev 63152

moved two theorems

paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:38:35 +0100] rev 63151

updated proof of Residue Theorem (form Wenda Li)

nipkow [Wed, 25 May 2016 17:41:35 +0200] rev 63150

merged

nipkow [Wed, 25 May 2016 17:40:56 +0200] rev 63149

renamed suffix(eq)

isabelle