Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more explicit paradigm to express instantiation of a schematic variable by evaluation
Changeset 7661:d6c067238e5c by haftmann:
more explicit paradigm to express instantiation of a schematic variable by evaluation
The file was modified thys/Ordinary_Differential_Equations/Ex/Example1.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example3.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Bessel.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Exp.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Lorenz_Classic.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Oil.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Utilities.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_Variational_Equation.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Example_van_der_Pol.thy (diff)