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 |
Wed, 26 May 2010 15:35:17 +0200 | boehmes | updated SMT certificates | changeset | files |
Wed, 26 May 2010 15:34:47 +0200 | boehmes | hide constants and types introduced by SMT, | changeset | files |
Wed, 26 May 2010 11:59:06 +0200 | haftmann | more convenient order of code equations | changeset | files |
Wed, 26 May 2010 11:34:23 +0200 | wenzelm | misc updates for release; | changeset | files |
Tue, 25 May 2010 23:03:13 +0200 | wenzelm | eliminated obsolete priority message from Isabelle_Process protocol; | changeset | files |
Tue, 25 May 2010 22:21:31 +0200 | wenzelm | moved ML files where they are actually used; | changeset | files |