Walther Neuper <neuper@ist.tugraz.at> [Tue, 14 Jun 2011 18:03:14 +0200] rev 42042
intermed. msteger present
found test/Pure/Isar/Struct_Deriv.thy not working in Isabelle2011
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 May 2011 10:39:02 +0200] rev 42041
tuned
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 May 2011 10:24:59 +0200] rev 42040
tuned
Walther Neuper <neuper@ist.tugraz.at> [Tue, 31 May 2011 10:15:29 +0200] rev 42039
contribution of Mathias Lehnfeld finished
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Mon, 30 May 2011 20:30:56 +0200] rev 42038
report tuned
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Mon, 30 May 2011 11:02:21 +0200] rev 42037
corrections, presentation & report finished
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Mon, 30 May 2011 02:04:29 +0200] rev 42036
report finished
Walther Neuper <neuper@ist.tugraz.at> [Sun, 29 May 2011 21:02:40 +0200] rev 42035
tuned
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Sun, 29 May 2011 18:21:04 +0200] rev 42034
report added
Walther Neuper <neuper@ist.tugraz.at> [Sun, 29 May 2011 18:14:43 +0200] rev 42033
tuned