Wed, 23 Sep 2009 16:20:12 +0200 | bulwahn | extending predicate compiler and proof procedure to support tuples; testing predicate wirh HOL-MicroJava semantics | changeset | files |
Wed, 23 Sep 2009 16:20:12 +0200 | bulwahn | modified predicate compiler further to support tuples | changeset | files |
Wed, 23 Sep 2009 16:20:12 +0200 | bulwahn | changed preprocessing due to problems with LightweightJava; added transfer of thereoms; changed the type of mode to support tuples in the predicate compiler | changeset | files |