Sat, 13 Mar 2010 14:40:36 +0100 | wenzelm | added Local_Theory.alias operations (independent of target); | changeset | files |
Thu, 11 Mar 2010 23:47:16 +0100 | wenzelm | merged | changeset | files |
Thu, 11 Mar 2010 19:06:03 +0100 | nipkow | merged | changeset | files |
Thu, 11 Mar 2010 19:05:46 +0100 | nipkow | converted proofs to Isar | changeset | files |
Thu, 11 Mar 2010 17:52:15 +0100 | haftmann | merged | changeset | files |
Thu, 11 Mar 2010 17:39:45 +0100 | haftmann | merged | changeset | files |
Thu, 11 Mar 2010 15:52:35 +0100 | haftmann | tuned prefix of ac rules | changeset | files |