Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

added Complementation_Final theory to ROOT file

Changeset 8975:a1540121fc33 by julian brunner _julianbrunner@gmail.com_: added Complementation_Final theory to ROOT file
The file was modified	`thys/Buchi_Complementation/ROOT` (diff)