| Tue, 09 Aug 2011 09:05:22 +0200 | blanchet | move lambda-lifting code to ATP encoding, so it can be used by Metis | changeset | files |
| Tue, 09 Aug 2011 09:05:21 +0200 | blanchet | load lambda-lifting structure earlier, so it can be used in Metis | changeset | files |
| Tue, 09 Aug 2011 07:44:17 +0200 | haftmann | merged | changeset | files |
| 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 |