| Fri, 28 Mar 2008 20:02:04 +0100 | wenzelm | Context.>> : operate on Context.generic; | file | diff | annotate |
| Thu, 27 Mar 2008 15:32:15 +0100 | wenzelm | eliminated delayed theory setup | file | diff | annotate |
| Thu, 27 Mar 2008 14:41:09 +0100 | wenzelm | eliminated theory ProtoPure; | file | diff | annotate |
| Thu, 31 May 2007 23:47:36 +0200 | wenzelm | simplified/unified list fold; | file | diff | annotate |
| Fri, 13 Apr 2007 16:40:16 +0200 | haftmann | canonical merge operations | file | diff | annotate |
| Wed, 07 Feb 2007 18:04:44 +0100 | berghofe | Added functions hhf_proof and un_hhf_proof. | file | diff | annotate |