| Wed, 07 Jun 2006 02:01:28 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | file | diff | annotate |
| Thu, 25 May 2006 16:51:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 24 May 2006 01:05:02 +0200 | wenzelm | added add_deps, which actually records dependencies of consts (unlike add_finals); | file | diff | annotate |
| Mon, 22 May 2006 22:29:19 +0200 | wenzelm | Defs.specifications_of: lhs/rhs now use typargs; | file | diff | annotate |
| Sat, 20 May 2006 23:37:03 +0200 | wenzelm | tuned Defs interfaces; | file | diff | annotate |
| Sat, 13 May 2006 02:51:42 +0200 | wenzelm | Theory.add_defs(_i): added unchecked flag; | file | diff | annotate |
| Thu, 11 May 2006 19:15:14 +0200 | wenzelm | tuned Defs.merge; | file | diff | annotate |
| Mon, 08 May 2006 17:40:08 +0200 | wenzelm | Defs.define: const_typargs; | file | diff | annotate |
| Fri, 05 May 2006 19:32:34 +0200 | wenzelm | added definitions_of; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 25 Feb 2006 15:11:35 +0100 | haftmann | added more detailed data to consts | file | diff | annotate |
| Tue, 07 Feb 2006 19:56:50 +0100 | wenzelm | adapted Sign.infer_types(_simult), Sign.certify_term/prop; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:10 +0100 | wenzelm | moved no_vars to sign.ML; | file | diff | annotate |
| Tue, 31 Jan 2006 00:39:40 +0100 | wenzelm | advanced translations: Context.generic; | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:24 +0100 | wenzelm | add_finals: prep_consts, i.e. varify type; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Fri, 02 Dec 2005 22:54:47 +0100 | wenzelm | defs: beta/eta contract lhs; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 29 Sep 2005 00:58:59 +0200 | wenzelm | back to simple 'defs' (cf. revision 1.79); | file | diff | annotate |
| Tue, 20 Sep 2005 08:21:49 +0200 | haftmann | slight adaptions to library changes | file | diff | annotate |
| Tue, 09 Aug 2005 10:23:14 +0200 | haftmann | exported dest_def | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:45 +0200 | wenzelm | Compress.term; | file | diff | annotate |
| Thu, 28 Jul 2005 15:20:01 +0200 | wenzelm | check_overloading replaces datatype overloading; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:55 +0200 | wenzelm | tuned defs interface; | file | diff | annotate |
| Wed, 13 Jul 2005 16:07:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Jul 2005 19:01:04 +0200 | obua | 1) all theorems in Orderings can now be given as a parameter | file | diff | annotate |
| Wed, 29 Jun 2005 15:13:30 +0200 | wenzelm | Syntax.read thy; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:22 +0200 | wenzelm | renamed init to init_data; | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:09 +0200 | wenzelm | added begin_theory, end_theory; | file | diff | annotate |