Modifications de « Jean-Louis/Tests/acl2 »

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

Modifications entre les versions 3 et 4

testestsest

tetstst2

stststeest 3

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

-  ⇤ ← Version 3 à la date du 2019-12-22 14:32:23 → 
  Taille: 90
  Éditeur: lfbn-tou-1-698-170
  Commentaire:
+   ← Version 4 à la date du 2019-12-22 14:33:04 → ⇥
  Taille: 106
  Éditeur: lfbn-tou-1-698-170
  Commentaire:
-Texte supprimé.
+Texte ajouté.
 Ligne 6:
+stststeest 3