Modifications de « Jean-Louis/Tests/acl2 »

Last updated at 2019-12-22 14:33:04

Modifications entre les versions 2 et 3

testestsest

tetstst2

CransWiki: Jean-Louis/Tests/acl2 (dernière édition le 2019-12-22 14:33:04 par lfbn-tou-1-698-170)

-  ⇤ ← Version 2 à la date du 2019-12-20 14:08:03 → 
  Taille: 78
  Éditeur: 185
  Commentaire:
+   ← Version 3 à la date du 2019-12-22 14:32:23 → ⇥
  Taille: 90
  Éditeur: lfbn-tou-1-698-170
  Commentaire:
-Texte supprimé.
+Texte ajouté.
 Ligne 4:
+tetstst2