| Fri, 04 Dec 2009 17:17:52 +0100 | blanchet | fix soundness bug in Nitpick's "destroy_constrs" optimization | changeset | files |
| Fri, 04 Dec 2009 15:30:36 +0100 | wenzelm | merged, resolving minor conflict, and recovering sane state; | changeset | files |
| Fri, 04 Dec 2009 15:27:45 +0100 | wenzelm | merged | changeset | files |
| Fri, 04 Dec 2009 15:25:30 +0100 | wenzelm | merged | changeset | files |
| Fri, 04 Dec 2009 15:20:24 +0100 | wenzelm | merged, resolving minor conflicts; | changeset | files |
| Fri, 04 Dec 2009 14:34:24 +0100 | haftmann | merged | changeset | files |
| Fri, 04 Dec 2009 12:22:09 +0100 | haftmann | merged | changeset | files |
| Fri, 04 Dec 2009 12:17:43 +0100 | haftmann | modernized structure Datatype_Aux | changeset | files |
| Wed, 02 Dec 2009 11:29:49 +0100 | haftmann | tuned | changeset | files |
| Mon, 30 Nov 2009 12:28:12 +0100 | haftmann | dropped some unused bindings | changeset | files |
| Mon, 30 Nov 2009 11:42:49 +0100 | haftmann | modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML | changeset | files |
| Mon, 30 Nov 2009 11:42:48 +0100 | haftmann | more accurate linerarity | changeset | files |
| Mon, 30 Nov 2009 08:08:31 +0100 | haftmann | merged | changeset | files |
| Fri, 27 Nov 2009 08:42:50 +0100 | haftmann | Inl and Inr now with authentic syntax | changeset | files |