| Fri, 06 Apr 2012 12:45:56 +0200 | wenzelm | fixed document; | changeset | files |
| Fri, 06 Apr 2012 12:10:50 +0200 | wenzelm | merged | changeset | files |
| Fri, 06 Apr 2012 09:35:47 +0200 | huffman | correct plumbing of proof contexts, so that force_rty_type won't generalize more type variables than it should | changeset | files |