equal
deleted
inserted
replaced
757 Nominal/Examples/Lambda_mu.thy \ |
757 Nominal/Examples/Lambda_mu.thy \ |
758 Nominal/Examples/Lam_Funs.thy \ |
758 Nominal/Examples/Lam_Funs.thy \ |
759 Nominal/Examples/SN.thy \ |
759 Nominal/Examples/SN.thy \ |
760 Nominal/Examples/Weakening.thy \ |
760 Nominal/Examples/Weakening.thy \ |
761 Nominal/Examples/Crary.thy \ |
761 Nominal/Examples/Crary.thy \ |
762 Nominal/Examples/SOS.thy |
762 Nominal/Examples/SOS.thy \ |
|
763 Nominal/Examples/LocalWeakening.thy |
763 @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples |
764 @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples |
764 |
765 |
765 |
766 |
766 ## clean |
767 ## clean |
767 |
768 |