Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
libisabelle-protocol/isabelle-common/ROOT
author Walther Neuper <wneuper@ist.tugraz.at>
Thu, 17 Dec 2015 15:48:13 +0100
changeset 59192 68bf8b2f7593
permissions -rw-r--r--
added libisabelle-protocol

cloned from
https://github.com/larsrh/libisabelle-protocol/commit/c33db5fef8af6548c494705e55e6b56e976a10a9
and copied here without .git* and without isabelle-2014
wneuper@59192 
     1
 
session Codec = Pure +
wneuper@59192 
     2
 
  theories
wneuper@59192 
     3
 
    Codec_Test
wneuper@59192 
     4
 






wneuper@59192


     5


session "HOL-Codec" = HOL +







wneuper@59192


     6


  theories







wneuper@59192


     7


    Codec_Test













wneuper/isa