Google Git
Sign in
opensecura / 3p / nicta / cogent / refs/heads/master / . / cogent / isa / shallow
tree: cb65371bd8bead6c68a4153e028c3fd724389c5f [path history] [tgz]
  1. Shallow.thy
  2. Shallow_Normalisation_Tac.thy
  3. Shallow_Tac.thy
  4. ShallowTuples.thy
  5. ShallowUtil.thy