rename Id to Path
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 13:57:52 +0000 (15:57 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 13:57:52 +0000 (15:57 +0200)
commitd8629792be271c01e44e9d87bb050811f0ff179a
tree6a707fda4915fba5019b273c072c8a62c1fffd9e
parent53ebfc39ccd74982ca43f038080ebe555b2ee18e
rename Id to Path
36 files changed:
examples/aim.ctt
examples/binnat.ctt
examples/bool.ctt
examples/category.ctt
examples/circle.ctt
examples/collection.ctt
examples/csystem.ctt
examples/demo.ctt
examples/discor.ctt
examples/equiv.ctt
examples/groupoidTrunc.ctt
examples/hedberg.ctt
examples/helix.ctt
examples/hnat.ctt
examples/hz.ctt
examples/implicit_point.ctt
examples/injective.ctt
examples/int.ctt
examples/integer.ctt
examples/interval.ctt
examples/list.ctt
examples/multS1.ctt
examples/nat.ctt
examples/ordinal.ctt
examples/pi.ctt
examples/prelude.ctt
examples/prop.ctt
examples/quotient.ctt
examples/retract.ctt
examples/setquot.ctt
examples/sigma.ctt
examples/subset.ctt
examples/susp.ctt
examples/torsor.ctt
examples/torus.ctt
examples/univalence.ctt