New style for Java code.
New theorem definition for Property.
Modify operations for nested sets model.