| Wed, 19 Jul 2006 12:11:59 +0200 | wenzelm | add_local: simplified interface, all frees are known''; | file | diff | annotate |
| Tue, 04 Jul 2006 21:22:51 +0200 | wenzelm | added props selector; | file | diff | annotate |
| Sun, 26 Feb 2006 23:01:47 +0100 | wenzelm | add_local: do_index; | file | diff | annotate |
| Mon, 06 Feb 2006 20:58:57 +0100 | wenzelm | TableFun: renamed xxx_multi to xxx_list; | file | diff | annotate |
| Fri, 28 Oct 2005 22:27:54 +0200 | wenzelm | added add_local/add_global; | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:05 +0200 | wenzelm | OrdList.inter; | file | diff | annotate |
| Sun, 22 May 2005 16:51:08 +0200 | wenzelm | major tuning; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 27 Aug 2002 17:25:44 +0200 | wenzelm | thms_containing: allow "_" in specification; | file | diff | annotate |
| Tue, 02 Jul 2002 17:00:05 +0200 | wenzelm | proper treatment of border cases; | file | diff | annotate |
| Tue, 02 Jul 2002 15:36:12 +0200 | wenzelm | Facts indexed by consts or (some) frees. | file | diff | annotate |