Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Tue, 19 Nov 2013 20:44:21 +0000] rev 52171
fun spec2str moved.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Tue, 19 Nov 2013 20:08:37 +0000] rev 52170
add functions accessing Theory_Data in parallel to those accessing "castab = Unsynchronized.ref"
Walther Neuper <neuper@ist.tugraz.at> [Tue, 19 Nov 2013 16:42:06 +0100] rev 52169
begin (2) for castab: add functions accessing "Theory_Data"
Walther Neuper <neuper@ist.tugraz.at> [Wed, 13 Nov 2013 15:10:21 +0100] rev 52168
restored tests on Polynomials, cf 11557b906ac1
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 13 Nov 2013 13:01:38 +0000] rev 52167
missing "fun assoc_castab" added
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 13 Nov 2013 12:53:39 +0000] rev 52166
"type spec", "type castab" and "val castab" moved.
Avoid cyclic dependencies in definition of function signatures which will be used to replace "Unsynchronized.ref\ castab"
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 13 Nov 2013 12:45:24 +0000] rev 52165
~~/src/Tools/isac/Knowledge/GCD_Poly{,_FP} was reloaded by Test_Isac.thy
Walther Neuper <neuper@ist.tugraz.at> [Tue, 12 Nov 2013 17:48:13 +0100] rev 52164
detailed cooperation with TUM shifts from GCD_Poly.thy to the TPPL repository
Walther Neuper <neuper@ist.tugraz.at> [Tue, 12 Nov 2013 17:40:21 +0100] rev 52163
merged
Walther Neuper <neuper@ist.tugraz.at> [Tue, 12 Nov 2013 17:40:11 +0100] rev 52162
keep comments in HOL theories
"exp" in GCD_Poly_FP.thy inhibited loading additional theories