Fri, 21 Feb 2014 12:07:38 +0100 | wenzelm | tuned -- remaining rev_markup is rather short after filter; | changeset | files |
Fri, 21 Feb 2014 12:33:49 +0100 | traytel | only one internal coinduction rule | changeset | files |
Fri, 21 Feb 2014 00:18:40 +0100 | blanchet | NEWS | changeset | files |