Gerwin Klein dbc735c81d readme/docs: update comments to Isabelle2020 ... Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>		2020-10-27 16:55:33 +10:00
..
settings	readme/docs: update comments to Isabelle2020	2020-10-27 16:55:33 +10:00