afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Featherweight_OCL/src/document
History
Achim D. Brucker 49ed81521f Import of current (Isabelle 2016-1) release of Featherweight OCL. 2016-12-26 11:28:09 +00:00
..
figures Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
FOCL_Syntax.tex Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
conclusion.tex Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
hol-ocl-isar.sty Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
introduction.tex Import of current (Isabelle 2016-1) release of Featherweight OCL. 2016-12-26 11:28:09 +00:00
lstisar.sty Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
omg.sty Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
prooftree.sty Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
root.bib Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00
root.tex Import of current (Isabelle 2016) release of Featherweight OCL. 2016-08-10 11:22:14 +01:00