Mon, 06 Dec 2010 19:54:53 +0100 hoelzl fixed spelling errors
Mon, 06 Dec 2010 19:54:48 +0100 hoelzl move coercions to appropriate places
Fri, 03 Dec 2010 15:25:14 +0100 hoelzl it is known as the extended reals, not the infinite reals
Mon, 06 Dec 2010 19:18:02 +0100 nipkow moved coercion decl. for int
Mon, 06 Dec 2010 17:33:25 +0100 bulwahn adapting copied bash code in mutabelle script
Mon, 06 Dec 2010 16:37:15 +0100 wenzelm more correct NEWS;
Mon, 06 Dec 2010 16:18:56 +0100 wenzelm merged
Mon, 06 Dec 2010 13:46:45 +0100 blanchet fix monotonicity type of None
Mon, 06 Dec 2010 13:36:28 +0100 blanchet compile
Mon, 06 Dec 2010 13:33:09 +0100 blanchet introduced hack to exploit the symmetry of equality in monotonicity calculus
Mon, 06 Dec 2010 13:33:09 +0100 blanchet cleanup example
Mon, 06 Dec 2010 13:33:09 +0100 blanchet add more flexibility to the monotonicity calculus: instead of hardcoding F-arrows, also allow G-arrows, simulating applications of the Sub rule
Mon, 06 Dec 2010 13:33:09 +0100 blanchet fixed bug in monotonicity solution display, whereby the polarity of literals was ignored
Mon, 06 Dec 2010 13:33:09 +0100 blanchet improve precision of forall in constancy part of the monotonicity calculus
Mon, 06 Dec 2010 13:33:09 +0100 blanchet added some missing well-annotatedness constraints to monotonicity calculus
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip