| Changes | Path |
| Binary |
metaprl/theories/czf/czf_itt_all.prlb |
| Binary |
metaprl/theories/czf/czf_itt_and.prlb |
| Binary |
metaprl/theories/czf/czf_itt_axioms.prlb |
| Binary |
metaprl/theories/czf/czf_itt_dall.prlb |
| Binary |
metaprl/theories/czf/czf_itt_dexists.prlb |
| Binary |
metaprl/theories/czf/czf_itt_eq.prlb |
| Binary |
metaprl/theories/czf/czf_itt_eq_inner.prlb |
| Binary |
metaprl/theories/czf/czf_itt_exists.prlb |
| Binary |
metaprl/theories/czf/czf_itt_false.prlb |
| Binary |
metaprl/theories/czf/czf_itt_implies.prlb |
| Binary |
metaprl/theories/czf/czf_itt_member.prlb |
| Binary |
metaprl/theories/czf/czf_itt_or.prlb |
| Binary |
metaprl/theories/czf/czf_itt_pre_set.prlb |
| Binary |
metaprl/theories/czf/czf_itt_rel.prlb |
| Binary |
metaprl/theories/czf/czf_itt_sall.prlb |
| Binary |
metaprl/theories/czf/czf_itt_sep.prlb |
| Binary |
metaprl/theories/czf/czf_itt_set.prlb |
| Binary |
metaprl/theories/czf/czf_itt_set_ind.prlb |
| Binary |
metaprl/theories/czf/czf_itt_sexists.prlb |
| Binary |
metaprl/theories/czf/czf_itt_true.prlb |
| Binary |
metaprl/theories/czf/czf_itt_union.prlb |
| Binary |
metaprl/theories/itt/itt_derive.prlb |
| Binary |
metaprl/theories/itt/itt_equal.prlb |