haftmann [Fri, 21 Jan 2011 09:41:59 +0100] rev 42525
restructured theory;
tuned proofs
hoelzl [Wed, 19 Jan 2011 11:34:10 +0100] rev 42524
merged
hoelzl [Tue, 18 Jan 2011 21:37:23 +0100] rev 42523
Gauge measure removed
haftmann [Tue, 18 Jan 2011 09:44:29 +0100] rev 42522
merged
haftmann [Tue, 18 Jan 2011 09:44:23 +0100] rev 42521
report mutabelle log in mira configuration
wenzelm [Mon, 17 Jan 2011 20:20:51 +0100] rev 42520
back to post-release mode;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 16:39:30 +0200] rev 42519
meeting dmeindl: added missing files
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 09:20:21 +0200] rev 42518
meeting dmeindl: Test_Isac.thy ok
+ added other files of dmeindl.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 09:07:38 +0200] rev 42517
meeding dmeindl
Walther Neuper <neuper@ist.tugraz.at> [Thu, 20 Sep 2012 10:07:02 +0200] rev 42516
added error-pattern "addition-of-fractions"
ATTENTION: works in Java, but not in text/../interface.sml