Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Fri, 24 Apr 2009 17:45:15 +0200 | haftmann | funpow and relpow with shared "^^" syntax | file | diff | annotate |
Mon, 20 Apr 2009 09:32:07 +0200 | haftmann | power operation on functions with syntax o^; power operation on relations with syntax ^^ | file | diff | annotate |
Tue, 01 Jul 2008 06:21:28 +0200 | huffman | rename INF to INFM | file | diff | annotate |
Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
Wed, 02 Jan 2008 15:14:20 +0100 | haftmann | some more primrec | file | diff | annotate |
Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |