| Sat, 22 Mar 2014 18:19:57 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 13 Mar 2014 14:48:20 +0100 | blanchet | correctly reconstruct helper facts (e.g. 'nat_int') in Isar proofs | file | diff | annotate |
| Mon, 03 Feb 2014 15:19:07 +0100 | blanchet | merged 'reconstructors' and 'proof methods' | file | diff | annotate |