| Wed, 29 Nov 2006 23:28:10 +0100 | wenzelm | added map/burrow_facts; | file | diff | annotate |
| Wed, 29 Nov 2006 04:11:13 +0100 | wenzelm | added map/burrow_facts; | file | diff | annotate |
| Tue, 28 Nov 2006 00:35:23 +0100 | wenzelm | added burrow_fact; | file | diff | annotate |
| Sun, 26 Nov 2006 18:07:16 +0100 | wenzelm | updated (binder) syntax/notation; | file | diff | annotate |
| Thu, 23 Nov 2006 22:38:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Nov 2006 18:07:35 +0100 | wenzelm | moved theorem kinds from PureThy to Thm; | file | diff | annotate |
| Wed, 04 Oct 2006 14:14:33 +0200 | haftmann | *** empty log message *** | file | diff | annotate |
| Thu, 21 Sep 2006 19:04:20 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:45 +0200 | wenzelm | tuned exception handling; | file | diff | annotate |
| Mon, 05 Jun 2006 21:54:21 +0200 | wenzelm | support embedded terms; | file | diff | annotate |
| Sat, 13 May 2006 02:51:40 +0200 | wenzelm | added add_defs_unchecked(_i); | file | diff | annotate |
| Fri, 05 May 2006 21:59:45 +0200 | wenzelm | added syntax for _type_constraint_; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:04 +0200 | wenzelm | moved print_theorems/theory to Isar/proof_display.ML; | file | diff | annotate |
| Mon, 10 Apr 2006 00:33:49 +0200 | wenzelm | Term.itselfT; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:39 +0100 | wenzelm | simplified Pure conjunction, based on actual const; | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:55 +0100 | wenzelm | removed distinct, renamed gen_distinct to distinct; | file | diff | annotate |
| Sun, 29 Jan 2006 19:23:45 +0100 | wenzelm | proper order of trfuns; | file | diff | annotate |
| Fri, 27 Jan 2006 19:03:07 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | file | diff | annotate |
| Wed, 25 Jan 2006 00:21:36 +0100 | wenzelm | export name_multi; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:18 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Fri, 13 Jan 2006 01:13:03 +0100 | wenzelm | generic_setup: optional argument, defaults to Context.setup(); | file | diff | annotate |
| Sat, 07 Jan 2006 23:27:53 +0100 | wenzelm | gen_names: preserve empty names; | file | diff | annotate |
| Fri, 16 Dec 2005 09:00:11 +0100 | haftmann | re-arranged tuples (theory * 'a) to ('a * theory) in Pure | file | diff | annotate |
| Fri, 09 Dec 2005 09:06:45 +0100 | haftmann | oriented result pairs in PureThy | file | diff | annotate |