isabelle: Changelog

haftmann [Thu, 29 Apr 2010 15:00:41 +0200] rev 36532

avoid popular infixes

haftmann [Thu, 29 Apr 2010 15:00:40 +0200] rev 36531

code_reflect: specify module name directly after keyword

haftmann [Thu, 29 Apr 2010 15:00:39 +0200] rev 36530

NEWS: code_reflect

haftmann [Thu, 29 Apr 2010 10:35:09 +0200] rev 36529

merged

haftmann [Wed, 28 Apr 2010 21:41:06 +0200] rev 36528

updated generated file

haftmann [Wed, 28 Apr 2010 21:41:05 +0200] rev 36527

modernized structure name

haftmann [Wed, 28 Apr 2010 21:41:05 +0200] rev 36526

use code_reflect

wenzelm [Thu, 29 Apr 2010 17:50:11 +0200] rev 36525

merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 09:06:35 +0200] rev 36524

Tuning the quotient examples

krauss [Wed, 28 Apr 2010 17:42:37 +0200] rev 36523

clarified signature; simpler implementation in terms of function's tactic interface

isabelle