| Sun, 15 Apr 2007 14:32:05 +0200 | wenzelm | Thm.plain_prop_of; | file | diff | annotate |
| Sat, 29 Apr 2006 23:16:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Sat, 08 Oct 2005 20:15:34 +0200 | wenzelm | minor tweaks for Poplog/PML; | 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 22:15:10 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:36 +0200 | wenzelm | use sys_error instead of exception Internal; | file | diff | annotate |
| Tue, 12 Jul 2005 19:29:52 +0200 | obua | - introduce Pure/Tools directory | file | diff | annotate |