| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | tuning | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | renamed "upto" coinduction "strong" | changeset | files |
| Fri, 21 Sep 2012 15:53:29 +0200 | blanchet | tuned variable names | changeset | files |
| Fri, 21 Sep 2012 13:56:57 +0200 | nipkow | tuned names | changeset | files |
| Fri, 21 Sep 2012 13:39:30 +0200 | nipkow | more termination proofs | changeset | files |
| Fri, 21 Sep 2012 12:27:56 +0200 | traytel | rel_Gr does not depend on map_wpull | changeset | files |
| Fri, 21 Sep 2012 17:28:53 +0200 | wenzelm | renamed Output to Output1 and Output2 to Output, and thus make the new version the default; | changeset | files |
| Fri, 21 Sep 2012 16:50:44 +0200 | wenzelm | more realistic sendback: pick exec_id from message position and text from buffer; | changeset | files |