isabelle: Changelog

nipkow [Sun, 28 Apr 2013 09:10:43 +0200] rev 51800

tuned

ballarin [Sat, 27 Apr 2013 21:56:45 +0200] rev 51799

Clarified confusing sentence in locales tutorial.

wenzelm [Sat, 27 Apr 2013 20:50:20 +0200] rev 51798

uniform Proof.context for hyp_subst_tac;

blanchet [Sat, 27 Apr 2013 11:37:50 +0200] rev 51797

tuned ML and thy file names

blanchet [Fri, 26 Apr 2013 14:16:05 +0200] rev 51796

merged

blanchet [Fri, 26 Apr 2013 14:14:55 +0200] rev 51795

for compatibility, generate recursor arguments in the same order as old package

blanchet [Fri, 26 Apr 2013 14:14:54 +0200] rev 51794

tuning in preparation for actual changes

blanchet [Fri, 26 Apr 2013 14:14:52 +0200] rev 51793

started working on compatibility with old package's recursor

nipkow [Fri, 26 Apr 2013 13:23:21 +0200] rev 51792

simplified def

nipkow [Fri, 26 Apr 2013 13:12:14 +0200] rev 51791

more standard argument order

isabelle