blob: a8291f6c8d9abd307771271c8578b04368164da2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
"romega/g_romega.ml4": use_grammar
"cc/g_congruence.ml4": use_grammar
"setoid_ring/newring.ml4": use_grammar
"dp/g_dp.ml4": use_grammar
"interface/centaur.ml4": use_grammar
"interface/debug_tac.ml4": use_grammar
"quote/g_quote.ml4": use_grammar
"subtac/equations.ml4": use_grammar
"subtac/g_eterm.ml4": use_grammar
"subtac/g_subtac.ml4": use_grammar
"rtauto/g_rtauto.ml4": use_grammar
"xml/xmlentries.ml4": use_grammar
"xml/dumptree.ml4": use_grammar
"firstorder/g_ground.ml4": use_grammar
"omega/g_omega.ml4": use_grammar
"micromega/g_micromega.ml4": use_grammar
"funind/g_indfun.ml4": use_grammar
"field/field.ml4": use_grammar
"extraction/g_extraction.ml4": use_grammar
"ring/g_ring.ml4": use_grammar
"fourier/g_fourier.ml4": use_grammar
"groebner/groebner.ml4": use_grammar
"cc": include
"extraction": include
"firstorder": include
"funind": include
"interface": include
"micromega": include
"quote": include
"romega": include
"setoid_ring": include
"xml": include
"dp": include
"field": include
"fourier": include
"groebner": include
"jprover": include
"omega": include
"ring": include
"rtauto": include
"subtac": include
|
