Added tag Isabelle2013-1 for changeset 9c1f21365326

Isabelle2013-1 --> 2013-2: finished 2013-1

notes for resuming work on Polynomial.thy

~/projs/CTPprog/fwf/12/TPPL/material/AD_Polynomial.thy ..pdivmod2: ?TODO instantiate?
~/projs/CTPprog/fwf/12/TPPL/material/Polynomial2.thy ..datatype_new GOON
~/projs/CTPprog/fwf/12/material/thys/Try_DPolynomial.thy ..AFP renamed
~/projs/CTPprog/fwf/12/material/thys/Try_Polynomial.thy ..distribution, with comments

re-shaped Polynomial.thy

running the pre-view in Isabelle2013 required to outcomment proofs;
these have not been detected during merge cf. 6e943f644cca.

comments and trials are kept in this specific theory.

etc/components are independent from local setup

remove error "Duplicate session" cf. 07c2812b9ff3

actually this error is avoided by
~~$ ./bin/isabelle build -v -b Isac
instead of
~~$ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac

Isabelle2013 --> 2013-1: Test_Isac perfect

RealDef.real --> Real.real: string representation of type changed
NOTE: in test/../build_thydata.sml are still WRONG identifiers ("RealDef. ...
linear --> LINEAR: became a global Isabelle constant

Isabelle2013 --> 2013-1: left-over legacy "uses" "axiom" removed in tests

Isabelle2013 --> 2013-1: remove error "Duplicate session"

Isabelle2013 --> 2013-1: replace an Isabelle constant newly introduced