1 commit

Author	SHA1	Message	Date
Alexandre Duret-Lutz	c4f6722b53	org: add explicit Kripke structure example ... Fixes #376. * doc/org/tut52.org: New file. * doc/org/tut.org, doc/org/tut51.org: Link to it. * doc/Makefile.am: Add it.	2019-02-25 16:23:28 +01:00