| Thu, 21 Sep 2006 19:04:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2006 09:24:48 +0200 |
haftmann |
renamed module to thyname
|
file |
diff |
annotate
|
| Wed, 07 Jun 2006 02:01:28 +0200 |
wenzelm |
renamed Type.(un)varifyT to Logic.(un)varifyT;
|
file |
diff |
annotate
|
| Fri, 02 Jun 2006 16:06:19 +0200 |
wenzelm |
merge: always normalize (and check!) reductions;
|
file |
diff |
annotate
|
| Fri, 26 May 2006 22:20:03 +0200 |
wenzelm |
separate checks for acyclic/wellformed;
|
file |
diff |
annotate
|
| Thu, 25 May 2006 16:51:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 24 May 2006 22:04:06 +0200 |
wenzelm |
made smlnj happy;
|
file |
diff |
annotate
|
| Wed, 24 May 2006 21:58:09 +0200 |
wenzelm |
wellformed: be less ambitious about structural containment;
|
file |
diff |
annotate
|
| Wed, 24 May 2006 01:05:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 23 May 2006 13:55:01 +0200 |
wenzelm |
export plain_args;
|
file |
diff |
annotate
|
| Mon, 22 May 2006 22:29:15 +0200 |
wenzelm |
specifications_of: lhs/rhs represented as typargs;
|
file |
diff |
annotate
|
| Sat, 20 May 2006 23:45:37 +0200 |
wenzelm |
made smlnj happy;
|
file |
diff |
annotate
|
| Sat, 20 May 2006 23:37:02 +0200 |
wenzelm |
yet another re-implementation:
|
file |
diff |
annotate
|
| Sat, 13 May 2006 02:51:37 +0200 |
wenzelm |
actually reject malformed defs;
|
file |
diff |
annotate
|
| Fri, 12 May 2006 18:11:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 12 May 2006 01:01:08 +0200 |
wenzelm |
improved propagate_deps;
|
file |
diff |
annotate
|
| Thu, 11 May 2006 19:15:13 +0200 |
wenzelm |
allow dependencies of disjoint collections of instances;
|
file |
diff |
annotate
|
| Mon, 08 May 2006 17:40:06 +0200 |
wenzelm |
simple substructure test for typargs (independent type constructors);
|
file |
diff |
annotate
|
| Fri, 05 May 2006 19:32:33 +0200 |
wenzelm |
specifications_of: more detailed information;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Thu, 06 Apr 2006 16:07:44 +0200 |
haftmann |
exported specification names
|
file |
diff |
annotate
|
| Sat, 25 Feb 2006 15:11:35 +0100 |
haftmann |
added more detailed data to consts
|
file |
diff |
annotate
|
| Wed, 15 Feb 2006 21:35:00 +0100 |
wenzelm |
specifications_of: avoid partiality;
|
file |
diff |
annotate
|
| Wed, 15 Feb 2006 17:09:06 +0100 |
haftmann |
exported specifications_of
|
file |
diff |
annotate
|
| Sun, 12 Feb 2006 21:34:18 +0100 |
wenzelm |
simplified TableFun.join;
|
file |
diff |
annotate
|
| Thu, 27 Oct 2005 13:54:42 +0200 |
wenzelm |
removed inappropriate monomorphic test;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 22:39:41 +0200 |
wenzelm |
more efficient check_specified, much less invocations;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 01:12:16 +0200 |
wenzelm |
make signature constraint actually work;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 01:09:39 +0200 |
wenzelm |
activate signature constraints;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 00:59:00 +0200 |
wenzelm |
back to simple 'defs' (cf. revision 1.79 of theory.ML);
|
file |
diff |
annotate
|