bulwahn [Thu, 02 Feb 2012 10:12:11 +0100] rev 47223
adding an example for a datatype refinement which would allow rtrancl to be executable on an infinite type
bulwahn [Wed, 01 Feb 2012 15:28:02 +0100] rev 47222
improving code equations for multisets that violated the distinct AList abstraction
blanchet [Thu, 02 Feb 2012 01:55:17 +0100] rev 47221
tuning
blanchet [Thu, 02 Feb 2012 01:20:28 +0100] rev 47220
implemented partial application aliases (for SPASS mainly)
blanchet [Wed, 01 Feb 2012 17:16:55 +0100] rev 47219
really fixed syntax bug in DFG output (cf. ef62c2fafa9e)
blanchet [Wed, 01 Feb 2012 17:15:06 +0100] rev 47218
don't stumble on SPASS debug output
blanchet [Wed, 01 Feb 2012 14:53:46 +0100] rev 47217
tuning
blanchet [Wed, 01 Feb 2012 12:47:43 +0100] rev 47216
proper statuses for "fact_from_ref"
nipkow [Tue, 31 Jan 2012 19:38:36 +0100] rev 47215
tuned
blanchet [Tue, 31 Jan 2012 18:46:31 +0100] rev 47214
renamed Sledgehammer option