isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 27 May 2011 16:45:24 +0200 added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization

changeset

boehmes [Fri, 27 May 2011 16:45:24 +0200] rev 43041

added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization

Fri, 27 May 2011 10:41:09 +0200 document new "try"

changeset

blanchet [Fri, 27 May 2011 10:41:09 +0200] rev 43040

document new "try"

Fri, 27 May 2011 10:33:16 +0200 tuned comments

changeset

blanchet [Fri, 27 May 2011 10:33:16 +0200] rev 43039

tuned comments

Fri, 27 May 2011 10:30:08 +0200 new timeout section (cf. Nitpick manual)

changeset

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43038

new timeout section (cf. Nitpick manual)

Fri, 27 May 2011 10:30:08 +0200 cleanup proof text generation code

changeset

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43037

cleanup proof text generation code

Fri, 27 May 2011 10:30:08 +0200 more Sledgehammer documentation updates

changeset

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43036