Permalink
Browse files

Moving Dnet-related code to tactics/.

  • Loading branch information...
1 parent 5ca744a commit 0db1d850b940a5f2351c1ec6e26d1f8087064d40 @ppedrot ppedrot committed May 8, 2014
View
@@ -39,7 +39,6 @@ Explore
Predicate
Rtree
Heap
-Dnet
Genarg
Stateid
Ephemeron
@@ -121,7 +120,6 @@ Cbv
Pretype_errors
Evarutil
Evarsolve
-Term_dnet
Recordops
Evarconv
Arguments_renaming
View
@@ -16,7 +16,6 @@ Explore
Predicate
Rtree
Heap
-Dnet
Unionfind
Genarg
Ephemeron
@@ -11,7 +11,6 @@ Cbv
Pretype_errors
Evarutil
Evarsolve
-Term_dnet
Recordops
Evarconv
Arguments_renaming
File renamed without changes.
File renamed without changes.
View
@@ -1,4 +1,5 @@
Geninterp
+Dnet
Dn
Btermdn
Tacticals
@@ -20,5 +21,6 @@ Tacenv
TacticMatching
Tacinterp
Evar_tactics
+Term_dnet
Autorewrite
Tactic_option
File renamed without changes.
File renamed without changes.

0 comments on commit 0db1d85

Please sign in to comment.