equal
deleted
inserted
replaced
519 (so to be resumed with Isabelle2013-1): |
519 (so to be resumed with Isabelle2013-1): |
520 ############## WNxxxxxx.TODO can be found in sources ############## |
520 ############## WNxxxxxx.TODO can be found in sources ############## |
521 -------------------------------------------------------------------------------- |
521 -------------------------------------------------------------------------------- |
522 WN111013.TODO: lots of cleanup/removal in test/../Test.thy |
522 WN111013.TODO: lots of cleanup/removal in test/../Test.thy |
523 -------------------------------------------------------------------------------- |
523 -------------------------------------------------------------------------------- |
524 WN111013.TODO: remove concept around "fun init_form", lots of troubles with |
524 WN111013.TODO: remove concept around "fun implicit_take", lots of troubles with |
525 this special case (see) --- why not nxt = Model_Problem here ? --- |
525 this special case (see) --- why not nxt = Model_Problem here ? --- |
526 -------------------------------------------------------------------------------- |
526 -------------------------------------------------------------------------------- |
527 WN111014.TODO calculate_Poly < calculate_Rational < calculate_RootRat, see test/ |
527 WN111014.TODO calculate_Poly < calculate_Rational < calculate_RootRat, see test/ |
528 ... FIRST redesign |
528 ... FIRST redesign |
529 # simplify_* , *_simp_* |
529 # simplify_* , *_simp_* |