directory /src/ @ 60:41ee8f8c9d17

name size permissions
[up] drwxr-xr-x
file InductiveTypes.v 47112 -rw-r--r--
file Intro.v 19982 -rw-r--r--
file Predicates.v 45831 -rw-r--r--
file StackMachine.v 43281 -rw-r--r--
file Tactics.v 2892 -rw-r--r--
file toc.html 374 -rw-r--r--