| Thu, 24 Mar 2011 16:56:19 +0100 | wenzelm | added Term.is_open and Term.is_dependent convenience, to cover common situations of loose bounds; | changeset | files |
| Thu, 24 Mar 2011 16:47:24 +0100 | wenzelm | more direct loose_bvar1; | changeset | files |
| Thu, 24 Mar 2011 13:54:39 +0100 | wenzelm | indentation; | changeset | files |