Tue, 02 Jun 2009 15:53:34 +0200 | haftmann | added Fin_Fun theory | changeset | files |
Tue, 02 Jun 2009 15:53:07 +0200 | haftmann | tuned code generator test theories | changeset | files |
Tue, 02 Jun 2009 15:53:05 +0200 | haftmann | OCaml builtin intergers are elusive; avoid | changeset | files |