| Fri, 11 May 2007 20:47:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 11 May 2007 20:07:00 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 11 May 2007 18:49:15 +0200 | wenzelm | proper type for fun/arg_cong_rule; | changeset | files |
| Fri, 11 May 2007 18:47:08 +0200 | wenzelm | added fun/arg_cong_rule; | changeset | files |
| Fri, 11 May 2007 18:46:50 +0200 | wenzelm | unified names: foo_conv; | changeset | files |
| Fri, 11 May 2007 17:54:36 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 11 May 2007 15:37:42 +0200 | krauss | added fun flip f x y = f y x | changeset | files |
| Fri, 11 May 2007 03:31:12 +0200 | huffman | generalize setsum lemmas from semiring_0_cancel to semiring_0 | changeset | files |
| Fri, 11 May 2007 01:07:10 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 11 May 2007 00:43:46 +0200 | wenzelm | bang_facts: warning; | changeset | files |
| Fri, 11 May 2007 00:43:45 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 10 May 2007 22:11:38 +0200 | haftmann | (class target) | changeset | files |
| Thu, 10 May 2007 22:11:37 +0200 | haftmann | cleaned up | changeset | files |
| Thu, 10 May 2007 22:11:36 +0200 | haftmann | beta/eta conversion after preprocessor | changeset | files |