Corey Lewis 2c8f9eeff1 lib+spec+proof+autocorres: consistent Nondet filename prefix ... Signed-off-by: Corey Lewis <corey.lewis@proofcraft.systems>		2023-08-09 12:07:06 +10:00
..
document	isabelle-2021: update EVTutorial	2021-09-30 16:53:17 +10:00
EquivValidTutorial.thy	lib+spec+proof+autocorres: consistent Nondet filename prefix	2023-08-09 12:07:06 +10:00
ROOT	lib: A tutorial and some 'modify' monad rules for Lib.EquivValid	2020-11-17 06:06:03 +11:00