File: _CoqProject

package info (click to toggle)
coq-reglang 1.2.2-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 408 kB
  • sloc: javascript: 206; makefile: 23
file content (15 lines) | stat: -rw-r--r-- 330 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
-Q theories RegLang
-arg -w -arg -notation-overridden
-arg -w -arg -redundant-canonical-projection
theories/misc.v
theories/setoid_leq.v
theories/languages.v
theories/dfa.v
theories/nfa.v
theories/regexp.v
theories/minimization.v
theories/myhill_nerode.v
theories/two_way.v
theories/vardi.v
theories/shepherdson.v
theories/wmso.v