
                                VL Talks

These are pretty old talks that Jared gave at the ACL2 Seminar.  Their content
may be somewhat outdated, but they still might be useful to get a general idea
of how VL works.


