berghofe [Thu, 03 Mar 2011 11:01:42 +0100] rev 41878
- Made sure that sort_defs is aware of constants introduced by add_type_def
- add_def now compares Isabelle types rather than SPARK types to ensure that
type abbreviations are taken into account
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41877
mention new Nitpick options
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41876
simplify "need" option's syntax
blanchet [Thu, 03 Mar 2011 11:20:48 +0100] rev 41875
renamed "preconstr" option "need"
hoelzl [Thu, 03 Mar 2011 10:55:41 +0100] rev 41874
finally remove upper_bound_finite_set
kleing [Thu, 03 Mar 2011 15:59:44 +1100] rev 41873
separate settings for afp test
blanchet [Wed, 02 Mar 2011 15:51:22 +0100] rev 41872
added missing spaces in output