The main change from version 1.9.4 to version 1.9.5 is:
Program safely!
- The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma` declarations.
Program safely!