| Tue, 11 Nov 2014 18:16:25 +0100 | wenzelm | more position information, e.g. relevant for errors in generated ML source; | changeset | files |
| Tue, 11 Nov 2014 15:55:31 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 11 Nov 2014 13:50:56 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 11 Nov 2014 13:44:09 +0100 | wenzelm | more markup; | changeset | files |
| Tue, 11 Nov 2014 13:40:13 +0100 | wenzelm | simplifie sessions; | changeset | files |
| Tue, 11 Nov 2014 11:47:53 +0100 | wenzelm | more Isar proof methods; | changeset | files |
| Tue, 11 Nov 2014 11:41:58 +0100 | wenzelm | more Isar proof methods; | changeset | files |
| Tue, 11 Nov 2014 10:54:52 +0100 | wenzelm | more Isar proof methods; | changeset | files |
| Tue, 11 Nov 2014 19:38:45 +0100 | noschinl | add forgotten lemma | changeset | files |
| Tue, 11 Nov 2014 14:46:26 +0100 | noschinl | added lemma | changeset | files |
| Tue, 11 Nov 2014 12:30:37 +0100 | desharna | make 'corec_transfer' tactic more robust | changeset | files |
| Tue, 11 Nov 2014 12:30:36 +0100 | desharna | also generate '(co)rec_transfer' for (co)datatypes with 0 live type variables | changeset | files |
| Tue, 11 Nov 2014 10:26:08 +0100 | desharna | make 'rec_transfer' tactic more robust | changeset | files |
| Tue, 11 Nov 2014 08:57:46 +0100 | Andreas Lochbihler | add del option to measurable; | changeset | files |