- auto lemmas can now (only) be written in PureList.javaspec
- auto lemmas can now (only) be written in PureList.javaspec

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast