Comparar texto

Encuentra la diferencia entre dos archivos de texto

Real-time diff
Unified diff
Collapse lines
Highlight change
Syntax highlighting
Herramientas
Diffchecker Desktop icon
Diffchecker Desktop The most secure way to run Diffchecker. Get the Diffchecker Desktop app: your diffs never leave your computer!Get Desktop

5.(19.24-27.1).1-4

Created Diff never expires
6 removals
Lines
Total
Removed
Words
Total
Removed
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
28 lines
3 additions
Lines
Total
Added
Words
Total
Added
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
26 lines
Require Import String.
Require Import String.
Require Import ZArith.
Require Import ZArith.
Require Import List.
Require Import List.
Import ListNotations.
Import ListNotations.
Definition Identifier := string.
Definition Identifier := string.
Definition id_eq_dec := string_dec.
Definition id_eq_dec := string_dec.
Inductive Term : Set :=
Inductive Term : Set :=
| Var : Identifier -> Term
| Var : Identifier -> Term
| Bool : bool -> Term
| Bool : bool -> Term
| Eq : Term -> Term -> Term
| Eq : Term -> Term -> Term
| And : Term -> Term -> Term
| And : Term -> Term -> Term
| Or : Term -> Term -> Term
| Or : Term -> Term -> Term
| Not : Term -> Term -> Term
| Not : Term -> Term
| Implies : Term -> Term -> Term
| If : Term -> Term -> Term -> Term
| If : Term -> Term -> Term -> Term
| Int : Z -> Term
| Int : Z -> Term
| Plus : Term -> Term -> Term
| Plus : Term -> Term -> Term
| Times : Term -> Term -> Term
| Times : Term -> Term -> Term
| Minus : Term -> Term -> Term
| Minus : Term -> Term -> Term
| Bools : Term
| Ints : Term
| In : Term -> Term -> Term
| Choose : Identifier -> Term -> Term.
| Choose : Identifier -> Term -> Term.
Definition extendEnv {Value} (env : Identifier -> Value)
Definition extendEnv {Value} (env : Identifier -> Value)
(var : Identifier) (newValue : Value) : Identifier -> Value :=
(var : Identifier) (newValue : Value) : Identifier -> Value :=
fun id => if id_eq_dec id var then newValue else env id.
fun id => if id_eq_dec id var then newValue else env id.
(* Auto-generated comment: Succeeded. *)
(* Auto-generated comment: Succeeded. *)

(* Auto-generated comment: At 2019-08-12 19:17:21.400000.*)


Diffs guardadas