Mon, 11 May 2009 09:18:42 +0200 | bulwahn | Added pred_code command | changeset | files |
Wed, 22 Apr 2009 11:10:23 +0200 | bulwahn | added general preprocessing of equality in predicates for code generation | changeset | files |
Mon, 11 May 2009 19:51:21 +0200 | haftmann | merged | changeset | files |
Mon, 11 May 2009 19:51:11 +0200 | haftmann | merged | changeset | files |
Mon, 11 May 2009 15:57:30 +0200 | haftmann | mk_number replaces number_of | changeset | files |
Mon, 11 May 2009 15:57:29 +0200 | haftmann | qualified names for Lin_Arith tactics and simprocs | changeset | files |