| Wed, 09 Jul 2014 18:48:37 +0200 | blanchet | improved docs | changeset | files |
| Wed, 09 Jul 2014 11:54:01 +0200 | blanchet | made SML/NJ happier | changeset | files |
| Wed, 09 Jul 2014 11:35:52 +0200 | blanchet | got rid of a pointer equality | changeset | files |
| Wed, 09 Jul 2014 11:35:52 +0200 | blanchet | get rid of some pointer equalities | changeset | files |
| Wed, 09 Jul 2014 11:35:52 +0200 | blanchet | tuned terminology | changeset | files |
| Wed, 09 Jul 2014 11:35:52 +0200 | blanchet | improvements to the machine learning algos (due to Cezary K.) | changeset | files |
| Mon, 07 Jul 2014 17:01:11 +0200 | nipkow | added lemma | changeset | files |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | refactor some tactics | changeset | files |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | refactor some tactics | changeset | files |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | add helper function map_prod | changeset | files |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | document property 'rel_cases' | changeset | files |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | generate 'rel_cases' theorem for (co)datatypes | changeset | files |
| Sat, 05 Jul 2014 20:51:24 +0200 | wenzelm | update for release; | changeset | files |
| Sat, 05 Jul 2014 16:29:19 +0200 | wenzelm | Added tag Isabelle2014-RC0 for changeset 251ef0202e71 | changeset | files |
| Sat, 05 Jul 2014 16:28:07 +0200 | wenzelm | merged | changeset | files |