| Thu, 04 Oct 2007 20:29:24 +0200 | wenzelm | replaced literal 'a by Name.aT; | file | diff | annotate |
| Sat, 29 Sep 2007 21:39:49 +0200 | wenzelm | added fixate_params; | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:33 +0200 | wenzelm | constrain: canonical argument order; | file | diff | annotate |
| Fri, 31 Aug 2007 23:17:22 +0200 | wenzelm | exported is_param; | file | diff | annotate |
| Thu, 30 Aug 2007 15:04:44 +0200 | wenzelm | infer_types: general check_typs instead of Type.cert_typ_mode; | file | diff | annotate |
| Tue, 14 Aug 2007 23:23:00 +0200 | wenzelm | infer_types: depend on Type.mode; | file | diff | annotate |
| Mon, 23 Apr 2007 20:44:10 +0200 | wenzelm | added paramify_vars; | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:57 +0200 | wenzelm | moved get_sort to sign.ML; | file | diff | annotate |
| Sat, 14 Apr 2007 17:38:30 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Sat, 14 Apr 2007 17:36:05 +0200 | wenzelm | Term.string_of_vname; | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | file | diff | annotate |
| Wed, 27 Sep 2006 21:13:11 +0200 | wenzelm | internal params: Vartab instead of AList; | file | diff | annotate |
| Thu, 21 Sep 2006 19:04:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 19 Jul 2006 12:12:04 +0200 | wenzelm | Name.context for used''; | file | diff | annotate |
| Tue, 11 Jul 2006 12:17:01 +0200 | wenzelm | Name.invent_list; | file | diff | annotate |