Home
last modified time | relevance | path

Searched refs:Step35 (Results 1 – 3 of 3) sorted by relevance

/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/examples/step-35/
H A Dstep-35.cc73 namespace Step35 namespace
1431 using namespace Step35; in main()
/dports/misc/otter/otter-3.3f/examples/fringe/
H A Dluka5h.out63 41 [] P(i(i(i(x,y),n(z)),i(z,x))) # label("Step35").
202 given clause #39: (wt=1) 104 [hyper,101,1,87] P(i(i(i(x,y),n(z)),i(z,x))) # label("Step35").
370 104 [hyper,101,1,87] P(i(i(i(x,y),n(z)),i(z,x))) # label("Step35").
H A Dluka5h.in111 P(i(i(i(x,y),n(z)),i(z,x))) # label("Step35").