equal
deleted
inserted
replaced
823 Nominal/Examples/ROOT.ML \ |
823 Nominal/Examples/ROOT.ML \ |
824 Nominal/Examples/SN.thy \ |
824 Nominal/Examples/SN.thy \ |
825 Nominal/Examples/SOS.thy \ |
825 Nominal/Examples/SOS.thy \ |
826 Nominal/Examples/Support.thy \ |
826 Nominal/Examples/Support.thy \ |
827 Nominal/Examples/VC_Condition.thy \ |
827 Nominal/Examples/VC_Condition.thy \ |
|
828 Nominal/Examples/W.thy \ |
828 Nominal/Examples/Weakening.thy |
829 Nominal/Examples/Weakening.thy |
829 @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples |
830 @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples |
830 |
831 |
831 |
832 |
832 ## HOL-Word |
833 ## HOL-Word |