Tue, 05 Oct 2010 09:01:30 +0200repaired assoc_thy isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 05 Oct 2010 09:01:30 +0200] rev 38042
repaired assoc_thy

such that assoc_thy "Rational" works.
There are related TODOs: fun theory'2thyID, ??

Tue, 05 Oct 2010 08:35:55 +0200intermed. test/../rational.sml isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 05 Oct 2010 08:35:55 +0200] rev 38041
intermed. test/../rational.sml

all tests without -"- work;
interesting: theory "Rational" works, but not assoc_thy "Rational"

Fri, 01 Oct 2010 18:25:06 +0200all rewriting in test/../poly.sml works isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 18:25:06 +0200] rev 38040
all rewriting in test/../poly.sml works

Fri, 01 Oct 2010 17:27:55 +0200tuned: shifted last tests into respective files isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 17:27:55 +0200] rev 38039
tuned: shifted last tests into respective files

Fri, 01 Oct 2010 16:29:33 +0200tuned: tests go through isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 16:29:33 +0200] rev 38038
tuned: tests go through

Fri, 01 Oct 2010 16:23:03 +0200intermed. 'fun parse_patt' fixes types to real (like 'parse') isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 16:23:03 +0200] rev 38037
intermed. 'fun parse_patt' fixes types to real (like 'parse')

this was on the way to repair rewrite (prepat in Rrls)

Fri, 01 Oct 2010 10:23:38 +0200repaired 'prepat's, the patterns and preconditions for Rrls isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 10:23:38 +0200] rev 38036
repaired 'prepat's, the patterns and preconditions for Rrls

fun parse_patt still lacks numbers_to_string, typ_a2real
because this causes a strange error in Poly.thy to be removed next

Tue, 28 Sep 2010 13:30:29 +0200interrupted test/../calculate.sml for 'rewrite_' isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 28 Sep 2010 13:30:29 +0200] rev 38035
interrupted test/../calculate.sml for 'rewrite_'

Tue, 28 Sep 2010 10:10:26 +0200updated "op *" --> Groups.times_class.times in src and test isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 28 Sep 2010 10:10:26 +0200] rev 38034
updated "op *" --> Groups.times_class.times in src and test

find . -type f -exec sed -i s/"\"op \*\""/"\"Groups.times_class.times\""/g {} \;

Tue, 28 Sep 2010 10:01:18 +0200intermediate test/../calculate.sml isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 28 Sep 2010 10:01:18 +0200] rev 38033
intermediate test/../calculate.sml