| Mon, 23 Jul 2012 09:28:03 +0200 | haftmann | restrict unqualified imports from Haskell Prelude to a small set of fundamental operations | file | diff | annotate |
| Tue, 05 Jun 2012 07:10:51 +0200 | haftmann | prefer sys.error over plain error in Scala to avoid deprecation warning | file | diff | annotate |
| Fri, 30 Mar 2012 11:16:35 +0200 | huffman | removed redundant nat-specific copies of theorems | file | diff | annotate |
| Mon, 26 Mar 2012 19:04:17 +0200 | huffman | code lemma for function 'nat' that doesn't go into an infinite loop (fixes problem with non-terminating HOL-Proofs-Lambda) | file | diff | annotate |
| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| Fri, 10 Sep 2010 10:21:25 +0200 | haftmann | Haskell == is infix, not infixl | file | diff | annotate |
| Fri, 27 Aug 2010 19:34:23 +0200 | haftmann | renamed class/constant eq to equal; tuned some instantiations | file | diff | annotate |