Changes

#4 (Jun 26, 2020, 1:11:23 AM)

1. Clean up 'hold(u)' — Tidefelt Henrik / githubweb

#3 (Jun 25, 2020, 11:45:02 PM)

1. Use 'definition' environment for the two kinds of clock partition — Tidefelt Henrik / githubweb
2. Don't consider the three 'The input argument is a...' definitions — Tidefelt Henrik / githubweb

#2 (Jun 24, 2020, 1:43:57 PM)

1. Use amsthm.sty to define 'definition' environment — Tidefelt Henrik / githubweb
2. Mark the end of a definition with \qed — Tidefelt Henrik / githubweb
3. Use 'definition' environment instead of "definition tables" — Tidefelt Henrik / githubweb
4. Use 'definition' environments instead of 'description' lists — Tidefelt Henrik / githubweb
5. Use 'definition' environment for the different kinds of discrete-time variables — Tidefelt Henrik / githubweb