Wed, 31 Dec 2008 18:53:16 +0100 | wenzelm | moved old add_type_XXX, add_term_XXX etc. to structure OldTerm; | file | diff | annotate |
Wed, 31 Dec 2008 00:08:13 +0100 | wenzelm | moved old add_term_vars, add_term_frees etc. to structure OldTerm; | file | diff | annotate |
Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
Mon, 10 Nov 2008 17:37:25 +0100 | berghofe | Streamlined functions for accessing information about atoms. | file | diff | annotate |
Tue, 21 Oct 2008 21:20:17 +0200 | berghofe | More general, still experimental version of nominal_inductive for | file | diff | annotate |