Commits · master · Raphaël Cauderlier / dktransfer

02 Feb, 2018 3 commits
- Update to dktactics v0.3 · 1783e06a
  Raphael Cauderlier authored Feb 02, 2018
  
  1783e06a
- Sync with the transfer tactic defined in MathTransfer · c1d4460a
  Raphael Cauderlier authored Feb 02, 2018
```
Dktransfer should be a dependency of MathTransfer
```
  c1d4460a
- Old stuff · e7a3aeed
  Raphael Cauderlier authored Feb 02, 2018
  
  e7a3aeed
16 Mar, 2017 4 commits
- Track transfer.dk instead of the generated file transfer_def.dk · fe3b44de
  Raphael Cauderlier authored Mar 16, 2017
  
  fe3b44de
- Extend the example to transfer of transitivity of ordering · da3d1d27
  Raphael Cauderlier authored Mar 16, 2017
  
  da3d1d27
- Add an example: transfer of commutativity · 273808e1
  Raphael Cauderlier authored Mar 16, 2017
  
  273808e1
- Transfers for first-order logic based on dktactics · a8a42ff0
  Raphael Cauderlier authored Mar 15, 2017
  
  a8a42ff0