twelf - Revision 1901: /branches/twelf-mod/TEST/crary/mldef-alpha/safety

• ..
• canon.thm
• consistency.thm
• determinism.thm
• equality.thm
• flay-il.thm
• functionality.thm
• inversion-static.thm
• inversion.thm
• preservation.thm
• principal.thm
• progress.thm
• regularity.thm
• singleton.thm
• substitution.thm