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, ??
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"
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 18:25:06 +0200] rev 38040
all rewriting in test/../poly.sml works
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 17:27:55 +0200] rev 38039
tuned: shifted last tests into respective files
Walther Neuper <neuper@ist.tugraz.at> [Fri, 01 Oct 2010 16:29:33 +0200] rev 38038
tuned: tests go through
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)
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
Walther Neuper <neuper@ist.tugraz.at> [Tue, 28 Sep 2010 13:30:29 +0200] rev 38035
interrupted test/../calculate.sml for 'rewrite_'
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 {} \;
Walther Neuper <neuper@ist.tugraz.at> [Tue, 28 Sep 2010 10:01:18 +0200] rev 38033
intermediate test/../calculate.sml