| Fri, 05 Aug 2016 20:17:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Mar 2014 12:28:35 +0100 | wenzelm | minor tuning -- NB: props are usually empty for global facts; | file | diff | annotate |
| Tue, 25 Feb 2014 12:53:08 +0100 | wenzelm | optimize special case according to Library.merge (see also 8fbc355100f2); | file | diff | annotate |
| Tue, 08 Nov 2011 11:56:41 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 24 Jun 2010 11:28:34 +0200 | wenzelm | Net.encode_type; | file | diff | annotate |
| Sun, 01 Nov 2009 20:55:14 +0100 | wenzelm | added insert_safe, delete_safe variants; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 31 May 2007 23:47:36 +0200 | wenzelm | simplified/unified list fold; | file | diff | annotate |
| Tue, 11 Jul 2006 12:17:05 +0200 | wenzelm | Name.bound; | file | diff | annotate |
| Tue, 04 Jul 2006 21:22:52 +0200 | wenzelm | added content; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:06 +0100 | wenzelm | tuned; | 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 |
| Mon, 01 Aug 2005 19:20:40 +0200 | wenzelm | nameless Term.bound; | file | diff | annotate |