Fri, 01 Jul 2011 14:17:02 +0200 | wenzelm | merged | changeset | files |
Fri, 01 Jul 2011 13:54:25 +0200 | noschinl | reverted 782991e4180d: fold_fields was never used | changeset | files |
Fri, 01 Jul 2011 13:54:23 +0200 | noschinl | reverted ce00462f,b3759dce, 7a165592: unwanted generalisation | changeset | files |
Fri, 01 Jul 2011 11:26:02 +0200 | bulwahn | improving actual dependencies | changeset | files |
Fri, 01 Jul 2011 10:45:51 +0200 | bulwahn | adding a minimalistic documentation of the value antiquotation in the Isar reference manual | changeset | files |
Fri, 01 Jul 2011 10:45:49 +0200 | bulwahn | adding a value antiquotation | changeset | files |
Thu, 30 Jun 2011 19:24:09 +0200 | wenzelm | more general theory header parsing; | changeset | files |