Alexandra Hirn <alexandra.hirn@hotmail.com> [Thu, 05 Aug 2010 11:03:47 +0200] rev 37892
result of trainee summer work
Alexandra Hirn <alexandra.hirn@hotmail.com> [Tue, 03 Aug 2010 13:55:24 +0200] rev 37891
complete version 2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 30 Jul 2010 09:15:36 +0200] rev 37890
test Pure/../Basics.thy + start nbproject
Alexandra Hirn <alexandra.hirn@hotmail.com> [Thu, 29 Jul 2010 14:12:11 +0200] rev 37889
complete
Alexandra Hirn <alexandra.hirn@hotmail.com> [Wed, 28 Jul 2010 13:26:19 +0200] rev 37888
chapter 1 - 7
Alexandra Hirn <alexandra.hirn@hotmail.com> [Wed, 28 Jul 2010 10:01:33 +0200] rev 37887
hallo
Alexandra Hirn <alexandra.hirn@hotmail.com> [Tue, 27 Jul 2010 09:00:45 +0200] rev 37886
hg test
Walther Neuper <neuper@ist.tugraz.at> [Mon, 26 Jul 2010 16:44:26 +0200] rev 37885
cleanup
Walther Neuper <neuper@ist.tugraz.at> [Mon, 26 Jul 2010 16:19:40 +0200] rev 37884
cleanup
Walther Neuper <neuper@ist.tugraz.at> [Mon, 26 Jul 2010 15:27:06 +0200] rev 37883
intermed.update scrtools.sml + added smltest/Pure/General/Basics.thy