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, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 12 Jul 2005 21:49:38 +0200 | obua | - use TableFun instead of homebrew binary tree in am_interpreter.ML | file | diff | annotate |
Tue, 12 Jul 2005 19:29:52 +0200 | obua | - introduce Pure/Tools directory | file | diff | annotate |