| Thu, 30 Apr 2015 15:33:59 +0100 | paulson | Merge | changeset | files |
| Thu, 30 Apr 2015 15:28:01 +0100 | paulson | tidying some messy proofs | changeset | files |
| Fri, 01 May 2015 08:45:30 +0200 | nipkow | new simp rule | changeset | files |
| Thu, 30 Apr 2015 16:07:43 +0200 | wenzelm | more formal source, more PIDE markup; | changeset | files |
| Thu, 30 Apr 2015 15:58:15 +0200 | wenzelm | tuned -- avoid odd rebinding of "ctxt" and "context"; | changeset | files |
| Thu, 30 Apr 2015 15:41:53 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 Apr 2015 23:30:47 +0200 | wenzelm | use smaller example that fits into 64MB string limit of Poly/ML x86 platform; | changeset | files |
| Wed, 29 Apr 2015 23:26:11 +0200 | wenzelm | tuned; | changeset | files |