Graham Nelson 07f58e4006 Continued pair refactoring		2022-02-25 11:42:06 +00:00
..
The Append Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Comment Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Constant Construct.w	Continued pair refactoring	2022-02-25 11:42:06 +00:00
The DefaultValue Construct.w	Furthered the abstraction of inter_pair	2022-02-24 23:53:40 +00:00
The Instance Construct.w	Continued pair refactoring	2022-02-25 11:42:06 +00:00
The Link Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Nop Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Package Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The PackageType Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Permission Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Pragma Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Primitive Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Property Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The PropertyValue Construct.w	Furthered the abstraction of inter_pair	2022-02-24 23:53:40 +00:00
The Typename Construct.w	Refactored inter verification	2022-02-23 23:37:43 +00:00
The Variable Construct.w	Furthered the abstraction of inter_pair	2022-02-24 23:53:40 +00:00