Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Remove unused file (see Strong_Late_Sim.thy for similar results)

Changeset 9294:026406a8207c by tjark weber _tjark.weber@it.uu.se_: Remove unused file (see Strong_Late_Sim.thy for similar results)
The file was removed	`thys/Pi_Calculus/Strong_Late_Sim_bak.thy`