| Fri, 24 Mar 2006 19:30:01 +0100 | huffman | lazy patterns in lambda abstractions | changeset | files |
| Fri, 24 Mar 2006 15:59:16 +0100 | urbanc | changed the it_prm proof to work for recursion | changeset | files |
| Fri, 24 Mar 2006 15:15:08 +0100 | urbanc | tuned some proofs | changeset | files |
| Fri, 24 Mar 2006 11:54:07 +0100 | berghofe | Removed occurrences of makestring, which does not | changeset | files |
| Thu, 23 Mar 2006 20:03:53 +0100 | nipkow | Converted translations to abbbreviations. | changeset | files |
| Thu, 23 Mar 2006 18:14:06 +0100 | berghofe | Replaced iteration combinator by recursion combinator. | changeset | files |
| Thu, 23 Mar 2006 10:05:03 +0100 | paulson | detection of definitions of relevant constants | changeset | files |
| Thu, 23 Mar 2006 06:18:38 +0100 | mengj | Only display atpset theorems if Output.show_debug_msgs is true. | changeset | files |