equal
deleted
inserted
replaced
112 BNF/Coinduction.thy ~> Coinduction.thy |
112 BNF/Coinduction.thy ~> Coinduction.thy |
113 BNF/More_BNFs.thy ~> Library/More_BNFs.thy |
113 BNF/More_BNFs.thy ~> Library/More_BNFs.thy |
114 BNF/Countable_Type.thy ~> Library/Countable_Set_Type.thy |
114 BNF/Countable_Type.thy ~> Library/Countable_Set_Type.thy |
115 BNF/Examples/* ~> BNF_Examples/* |
115 BNF/Examples/* ~> BNF_Examples/* |
116 New theories: |
116 New theories: |
117 List_Prefix.thy (split from Library/Sublist.thy) |
|
118 Wellorder_Extension.thy (split from Zorn.thy) |
117 Wellorder_Extension.thy (split from Zorn.thy) |
119 Library/Cardinal_Notations.thy |
118 Library/Cardinal_Notations.thy |
120 Library/BNF_Decl.thy |
119 Library/BNF_Decl.thy |
121 BNF_Examples/Misc_Primcorec.thy |
120 BNF_Examples/Misc_Primcorec.thy |
122 BNF_Examples/Stream_Processor.thy |
121 BNF_Examples/Stream_Processor.thy |