Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

minimal change of interface of incremental simplex algorithm (rat valuation instead of (var,rat)mapping)

Changeset 10372:69945e1330db by rene thiemann _rene.thiemann@uibk.ac.at_: minimal change of interface of incremental simplex algorithm (rat valuation instead of (var,rat)mapping)
The file was modified	`thys/Simplex/Simplex_Incremental.thy`