[isabelle] New AFP entries
David Trachtenherz has contributed 3 new entries:
We introduce a theory of infinite lists in HOL formalized as functions
Interval Temporal Logic on Natural Numbers
We introduce a theory of temporal logic operators using sets of natural
numbers as time domain, formalized in a shallow embedding manner.
AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics
We formalize the AutoFocus Semantics (a time-synchronous subset of the
Focus formalism) as stream processing functions on finite and infinite
message streams represented as finite/infinite lists.
This archive was generated by a fusion of
Pipermail (Mailman edition) and