| Fri, 28 Sep 2012 13:16:10 +0200 | traytel | tuned tactic | changeset | files |
| Fri, 28 Sep 2012 11:46:57 +0200 | wenzelm | updated keywords using proper "isabelle update_keywords"; | changeset | files |
| Fri, 28 Sep 2012 11:31:51 +0200 | traytel | tuned tactic | changeset | files |
| Fri, 28 Sep 2012 09:38:07 +0200 | traytel | tuned tactic | changeset | files |
| Fri, 28 Sep 2012 09:21:27 +0200 | blanchet | merge | changeset | files |
| Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | renamed ML file in preparation for next step | changeset | files |
| Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | killed temporary "data_raw" and "codata_raw" now that the examples have been ported to "data" and "codata" | changeset | files |
| Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | modernized example, exploiting "rep_compat" option | changeset | files |
| Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | compatibility option to use "rep_datatype" | changeset | files |
| Fri, 28 Sep 2012 09:12:50 +0200 | blanchet | tuned message | changeset | files |
| Fri, 28 Sep 2012 09:12:49 +0200 | blanchet | modernized example | changeset | files |
| Fri, 28 Sep 2012 09:17:30 +0200 | traytel | tuned tactics | changeset | files |
| Fri, 28 Sep 2012 08:59:54 +0200 | nipkow | second usage of const_typ | changeset | files |
| Fri, 28 Sep 2012 08:39:48 +0200 | nipkow | new antiquotation const_typ | changeset | files |