| Wed, 19 Jul 2006 12:11:59 +0200 | wenzelm | add_local: simplified interface, all frees are known''; | changeset | files |
| Wed, 19 Jul 2006 12:11:57 +0200 | wenzelm | Sign.infer_types: Name.context; | changeset | files |
| Wed, 19 Jul 2006 12:11:56 +0200 | wenzelm | renamed Variable.rename_wrt to Variable.variant_frees; | changeset | files |
| Wed, 19 Jul 2006 11:55:26 +0200 | paulson | Fixed the bugs introduced by the last commit! Output is now *identical* to that | changeset | files |