![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- eliminated old 'def' command;
| The file was modified | thys/Applicative_Lifting/Idiomatic_Terms.thy (diff) |
| The file was modified | thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff) |
| The file was modified | thys/Bounded_Deducibility_Security/Compositional_Reasoning.thy (diff) |
| The file was modified | thys/Buildings/Building.thy (diff) |
| The file was modified | thys/Buildings/Chamber.thy (diff) |
| The file was modified | thys/Buildings/Coxeter.thy (diff) |
| The file was modified | thys/Call_Arity/CoCallGraph-TTree.thy (diff) |
| The file was modified | thys/Call_Arity/Set-Cpo.thy (diff) |
| The file was modified | thys/Coinductive/Coinductive_List.thy (diff) |
| The file was modified | thys/Coinductive/Examples/Koenigslemma.thy (diff) |
| The file was modified | thys/Coinductive/Examples/Resumption.thy (diff) |