• Raphael Cauderlier's avatar
    Revert "Replace type by Type." · 3f795b3c
    Raphael Cauderlier authored
    This reverts commit 1dad75e6.
    
    Conflicts:
    	configure
    
    In Dedukti v2.6, we can now declare term as injective so the user can
    handle higher-order logic by adding injective rewrite rules on term.
    3f795b3c
Makefile 718 Bytes