← Back to branch summary

~miguel-pagano+theona/haskell-equ/master

Viewing all changes in revision 391.

  • Committer: Ale Gadea
  • Date: 2016-04-19 00:19:12 UTC
  • Revision ID: git-v1:5871250c962f9de9796746c9abc6cc11fe9346e8
Acomodando axioma de definición de consecuencia.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: