Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

replaced or repaired proofs (by simp add: Complex_eq)

Changeset 7736:7176b689c9db by paulson _lp15@cam.ac.uk_: replaced or repaired proofs (by simp add: Complex_eq)
The file was modified	`thys/Polynomial_Interpolation/Is_Rat_To_Rat.thy` (diff)