Walther Neuper <neuper@ist.tugraz.at> [Sun, 29 Jul 2012 16:29:04 +0200] rev 42449
prepare for stepToErrorPattern
Walther Neuper <neuper@ist.tugraz.at> [Fri, 27 Jul 2012 08:24:32 +0200] rev 42448
merged
Walther Neuper <neuper@ist.tugraz.at> [Fri, 27 Jul 2012 08:24:25 +0200] rev 42447
thms for Rational.thy
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Jun 2012 07:24:03 +0200] rev 42446
merged
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Jun 2012 07:23:56 +0200] rev 42445
save before fetch
Jan Rocnik <jan.rocnik@student.tugraz.at> [Thu, 21 Jun 2012 20:48:36 +0200] rev 42444
tuned
Jan Rocnik <jan.rocnik@student.tugraz.at> [Wed, 20 Jun 2012 11:14:04 +0200] rev 42443
Added Examples for jrocnik's presentation at CADGME
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:36:27 +0200] rev 42442
added first version of cadgme presentation
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:34:04 +0200] rev 42441
merged
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:33:35 +0200] rev 42440
added first version of cadgme presentation