isabelle: Changelog

traytel [Tue, 31 May 2016 21:06:46 +0200] rev 63193

merged

traytel [Tue, 31 May 2016 14:56:51 +0200] rev 63192

moved lemma from afp

Lars Hupel <lars.hupel@mytum.de> [Tue, 31 May 2016 18:31:33 +0200] rev 63191

ignore Maven build products

blanchet [Tue, 31 May 2016 12:24:43 +0200] rev 63190

added test

blanchet [Tue, 31 May 2016 11:54:45 +0200] rev 63189

made parsing of monomorphic/polymorphic constants more robust

blanchet [Tue, 31 May 2016 10:53:11 +0200] rev 63188

more flexible parsing (towards type class support)

blanchet [Tue, 31 May 2016 10:53:10 +0200] rev 63187

error message

matichuk <daniel.matichuk@nicta.com.au> [Tue, 31 May 2016 11:45:34 +1000] rev 63186

allow multiple recursive methods to co-exist in order to support mutual recursion;

matichuk <daniel.matichuk@nicta.com.au> [Mon, 30 May 2016 16:11:53 +1000] rev 63185

apply current morphism to method text before evaluating;

wenzelm [Mon, 30 May 2016 20:58:54 +0200] rev 63184

merged

isabelle