Cross Reference: base.elf
xref: /hets/Framework/specs/logics/propositional/syntax/base.elf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
base.elf revision c6506aa7090643badb5a6dca5df0ca6617558f5e
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakova%sig Base = {
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakova o : type.
097b7fb3f8f90e87120d30bf37a1d89fe0ddfaf0Kristina Sojakova ded : o -> type. %prefix 0 ded.
097b7fb3f8f90e87120d30bf37a1d89fe0ddfaf0Kristina Sojakova}.

Indexes created Tue Jul 24 14:28:13 CEST 2018