Mon, 08 Aug 2011 22:33:36 +0200 | haftmann | move legacy candiates to bottom; marked candidates for default simp rules | changeset | files |
Mon, 08 Aug 2011 22:11:00 +0200 | haftmann | merged | changeset | files |
Mon, 08 Aug 2011 19:30:18 +0200 | haftmann | dropped lemmas (Inf|Sup)_(singleton|binary) | changeset | files |
Mon, 08 Aug 2011 19:21:11 +0200 | haftmann | dropped lemmas (Inf|Sup)_(singleton|binary) | changeset | files |
Mon, 08 Aug 2011 19:26:53 -0700 | huffman | rename type 'a net to 'a filter, following standard mathematical terminology | changeset | files |
Mon, 08 Aug 2011 18:36:32 -0700 | huffman | HOLCF: fix warnings about unreferenced identifiers | changeset | files |
Mon, 08 Aug 2011 16:57:37 -0700 | huffman | remove duplicate lemmas | changeset | files |