| Mon, 11 May 2009 13:19:28 -0700 | huffman | use Pair/fst/snd instead of cpair/cfst/csnd | changeset | files |
| Mon, 11 May 2009 12:41:46 -0700 | huffman | use Pair/fst/snd instead of cpair/cfst/csnd | changeset | files |
| Mon, 11 May 2009 12:26:33 -0700 | huffman | move bifinite instance for product type from Cprod.thy to Bifinite.thy | changeset | files |
| Mon, 11 May 2009 12:25:20 -0700 | huffman | new lemmas | changeset | files |
| Mon, 11 May 2009 20:09:03 +0200 | haftmann | fixed merge accident | changeset | files |
| Mon, 11 May 2009 19:54:43 +0200 | haftmann | merged | changeset | files |
| Mon, 11 May 2009 19:54:24 +0200 | haftmann | avoid latex output problem | changeset | files |
| Mon, 11 May 2009 17:20:52 +0200 | haftmann | merged | changeset | files |
| Mon, 11 May 2009 09:39:53 +0200 | bulwahn | fixed code_pred command | changeset | files |
| 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 |
| Mon, 11 May 2009 15:18:32 +0200 | haftmann | tuned interface of Lin_Arith | changeset | files |