Skip to content

object-logics/afp-Isabelle_Meta_Model

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

94 Commits
document
document
 
 
isabelle_home/src
isabelle_home/src
 
 
meta_isabelle
meta_isabelle
 
 
toy_example
toy_example
 
 
Antiquote_Setup.thy
Antiquote_Setup.thy
 
 
Init.thy
Init.thy
 
 
ROOT
ROOT
 
 

About

www.isa-afp.org/entries/Isabelle_Meta_Model.html
Activity
Custom properties

Stars

0 stars

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages