isabelle: Changelog

traytel [Wed, 08 May 2013 09:39:30 +0200] rev 51915

make tactic actually work for op = as relator

nipkow [Wed, 08 May 2013 06:14:11 +0200] rev 51914

tuned

nipkow [Wed, 08 May 2013 04:16:44 +0200] rev 51913

hide Fin on output

blanchet [Tue, 07 May 2013 21:37:40 +0200] rev 51912

removed dead argument

blanchet [Tue, 07 May 2013 21:09:47 +0200] rev 51911

more robust iterator construction (needed for mutualized FPs)

blanchet [Tue, 07 May 2013 21:09:46 +0200] rev 51910

tuning

traytel [Tue, 07 May 2013 18:40:23 +0200] rev 51909

removed dead internal constants/theorems

blanchet [Tue, 07 May 2013 17:35:29 +0200] rev 51908

removed tracing

blanchet [Tue, 07 May 2013 17:29:23 +0200] rev 51907

export one more function

blanchet [Tue, 07 May 2013 17:07:37 +0200] rev 51906

added field to record

isabelle