ftuong
/
hol-ocl-2.0
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
hol-ocl-2.0/src
History
Frédéric Tuong b2db24200a store all encountered constructors in the environment 
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13536 3260e6d1-4efc-4170-b0a7-36055960796d
 		2019-01-10 18:37:56 +00:00
..
basic_types update headers 2018-05-09 16:20:39 +00:00
collection_types update headers 2018-05-09 16:20:39 +00:00
compiler store all encountered constructors in the environment 2019-01-10 18:37:56 +00:00
compiler_generic store all encountered constructors in the environment 2019-01-10 18:37:56 +00:00
document upgrade to Isabelle2017 and afp-2017 2018-02-05 14:26:56 +00:00
print_syntax update headers 2018-05-09 16:20:39 +00:00
UML_Contracts.thy update headers 2018-05-09 16:20:39 +00:00
UML_Library.thy update headers 2018-05-09 16:20:39 +00:00
UML_Logic.thy update headers 2018-05-09 16:20:39 +00:00
UML_Main.thy update headers 2018-05-09 16:20:39 +00:00
UML_OCL.thy update headers 2018-05-09 16:20:39 +00:00
UML_PropertyProfiles.thy update headers 2018-05-09 16:20:39 +00:00
UML_State.thy update headers 2018-05-09 16:20:39 +00:00
UML_Tools.thy update headers 2018-05-09 16:20:39 +00:00
UML_Types.thy update headers 2018-05-09 16:20:39 +00:00