Wed, 26 May 2010 18:19:36 +0200 | wenzelm | merged | changeset | files |
Wed, 26 May 2010 18:19:12 +0200 | wenzelm | refer to polyml-5.3.0-old for ppc-darwin; | changeset | files |
Wed, 26 May 2010 17:52:32 +0200 | boehmes | try logical and theory abstraction before full abstraction (avoids warnings of linarith) | changeset | files |