Index of /users/moore/acl2/seminar/2016.12.02-mehta/spec

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Tactics.v2016-12-02 11:17 526  
[   ]IndProp.v2016-12-02 10:59 5.1K 
[   ]Maps.glob2016-11-02 11:03 12K 
[   ]Maps.v2016-11-02 11:03 12K 
[   ]Imp.v2016-12-02 11:36 13K 
[   ]Maps.vo2016-11-02 11:03 31K 

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80