isabelle: Changelog

wenzelm [Wed, 21 Jun 2017 21:55:07 +0200] rev 66158

clarified modules;

wenzelm [Wed, 21 Jun 2017 21:10:51 +0200] rev 66157

tuned signature;

blanchet [Wed, 21 Jun 2017 22:48:55 +0200] rev 66156

added -d option to Mirabelle

haftmann [Tue, 20 Jun 2017 21:41:59 +0200] rev 66155

stripped code pre/postprocessor setup for real from superfluous rules

paulson <lp15@cam.ac.uk> [Wed, 21 Jun 2017 17:13:55 +0100] rev 66154

Tidying up integration theory and some new theorems

wenzelm [Wed, 21 Jun 2017 15:04:26 +0200] rev 66153

more completion;

wenzelm [Wed, 21 Jun 2017 14:56:44 +0200] rev 66152

tuned signature;

wenzelm [Wed, 21 Jun 2017 14:30:20 +0200] rev 66151

tuned signature;

wenzelm [Wed, 21 Jun 2017 14:06:16 +0200] rev 66150

tuned signature;

haftmann [Tue, 20 Jun 2017 13:07:49 +0200] rev 66149

deleting a code equation never leads to unimplemented function

isabelle