Skip to content

GitLab

why3
why3
Switch branch/tag
Find file Normal viewHistoryPermalink
clash_namespace1.why 101 Bytes
Newer Older
Jean-Christophe Filliâtre's avatar
make bench  
Jean-Christophe Filliâtre committed
1 2 3 4 5 6 7 8 9 10 11 12 13 

(* test file *)

theory A
  type t
  axiom Ax : forall x:t. true
end

theory B
  use A
  use A
end