Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

vector_add_divide_simps now a "named theorems" bundle

Changeset 63927:0efb482beb84 by paulson _lp15@cam.ac.uk_: vector_add_divide_simps now a "named theorems" bundle
The file was modified	`src/HOL/Real_Vector_Spaces.thy` (diff)