Mon, 07 Sep 2009 13:19:09 +0100 | paulson | My umpteenth attempt to commit the method metisFT, a fully-typed version of metis | changeset | files |
Mon, 07 Sep 2009 11:44:12 +0100 | paulson | merged | changeset | files |
Mon, 07 Sep 2009 10:04:17 +0100 | paulson | conflict resolution possibly | changeset | files |
Fri, 04 Sep 2009 11:37:24 +0100 | paulson | New method, metisFT: a fully-typed proof search that should eliminate type errors during reconstruction | changeset | files |
Fri, 28 Aug 2009 13:32:20 +0100 | paulson | merged | changeset | files |
Thu, 27 Aug 2009 15:49:45 +0100 | paulson | More streamlining using metis. | changeset | files |