| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | file | diff | annotate |
| Fri, 13 Mar 2009 23:50:05 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Tue, 03 Mar 2009 14:07:43 +0100 | wenzelm | Thm.binding; | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:32 +0100 | haftmann | binding is alias for Binding.T | file | diff | annotate |
| Wed, 31 Dec 2008 19:54:03 +0100 | wenzelm | qualified Term.rename_wrt_term; | file | diff | annotate |
| Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |