Components
Documentation
Download
Bugs
Links
Team

Navigation
Special Pages
- Recent changes

User
- Log in

Recursively Defined Functions: Revision history

View logs for this page

Filter revisionsExpandCollapse

To date:

Tag filter:

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 November 2016

curprev 13:4413:44, 12 November 2016‎ Michael Leuschel talk contribs‎ 7,352 bytes +84‎ →‎Operations applicable for recursive functions
curprev 13:4213:42, 12 November 2016‎ Michael Leuschel talk contribs‎ 7,268 bytes −59‎ →‎Operations applicable for recursive functions
curprev 13:3713:37, 12 November 2016‎ Michael Leuschel talk contribs‎ 7,327 bytes +321‎ →‎Recursive Function Definitions in ProB

28 October 2015

curprev 06:4606:46, 28 October 2015‎ Michael Leuschel talk contribs‎ 7,006 bytes +148‎ →‎When does ProB treat a set comprehension or lambda abstraction symbolically ?

27 May 2013

curprev 07:4107:41, 27 May 2013‎ Michael Leuschel talk contribs‎ 6,858 bytes +37‎ No edit summary
curprev 07:4007:40, 27 May 2013‎ Michael Leuschel talk contribs‎ 6,821 bytes 0‎ →‎When does ProB treat a set comprehension or lambda abstraction symbolically ?
curprev 07:3907:39, 27 May 2013‎ Michael Leuschel talk contribs‎ 6,821 bytes +250‎ No edit summary
curprev 07:3707:37, 27 May 2013‎ Michael Leuschel talk contribs‎ 6,571 bytes +136‎ No edit summary
curprev 07:3507:35, 27 May 2013‎ Michael Leuschel talk contribs‎ 6,435 bytes +369‎ No edit summary

18 March 2013

curprev 12:5112:51, 18 March 2013‎ Michael Leuschel talk contribs‎ 6,066 bytes +422‎ No edit summary
curprev 12:4312:43, 18 March 2013‎ Michael Leuschel talk contribs‎ 5,644 bytes −12‎ No edit summary

23 April 2012

curprev 06:1906:19, 23 April 2012‎ Michael Leuschel talk contribs‎ 5,656 bytes +11‎ No edit summary
curprev 05:4405:44, 23 April 2012‎ Michael Leuschel talk contribs‎ 5,645 bytes +31‎ →‎Recursive Function Definitions in ProB

10 April 2012

curprev 11:5411:54, 10 April 2012‎ Michael Leuschel talk contribs‎ 5,614 bytes 0‎ →‎Recursive Function Definitions in ProB

3 April 2012

curprev 12:2012:20, 3 April 2012‎ Michael Leuschel talk contribs‎ 5,614 bytes +2‎ No edit summary
curprev 06:1406:14, 3 April 2012‎ Michael Leuschel talk contribs‎ 5,612 bytes +189‎ No edit summary
curprev 05:4505:45, 3 April 2012‎ Michael Leuschel talk contribs‎ 5,423 bytes −1‎ No edit summary
curprev 05:4505:45, 3 April 2012‎ Michael Leuschel talk contribs‎ 5,424 bytes +706‎ No edit summary

2 April 2012

curprev 14:4814:48, 2 April 2012‎ Michael Leuschel talk contribs‎ 4,718 bytes +289‎ →‎Recursive Function Definitions in ProB

17 March 2012

curprev 06:4806:48, 17 March 2012‎ Michael Leuschel talk contribs‎ 4,429 bytes −1‎ No edit summary
curprev 06:4806:48, 17 March 2012‎ Michael Leuschel talk contribs‎ 4,430 bytes −3‎ →‎Recursive Function Definitions in ProB
curprev 06:4706:47, 17 March 2012‎ Michael Leuschel talk contribs‎ 4,433 bytes +456‎ No edit summary
curprev 06:4206:42, 17 March 2012‎ Michael Leuschel talk contribs‎ 3,977 bytes +1,063‎ No edit summary
curprev 06:3506:35, 17 March 2012‎ Michael Leuschel talk contribs‎ 2,914 bytes −132‎ No edit summary

27 February 2012

curprev 20:0820:08, 27 February 2012‎ Michael Leuschel talk contribs‎ 3,046 bytes −22‎ No edit summary
curprev 20:0720:07, 27 February 2012‎ Michael Leuschel talk contribs‎ 3,068 bytes +28‎ No edit summary
curprev 20:0520:05, 27 February 2012‎ Michael Leuschel talk contribs‎ 3,040 bytes +12‎ No edit summary

26 January 2012

curprev 10:2010:20, 26 January 2012‎ Michael Leuschel talk contribs‎ 3,028 bytes +121‎ No edit summary
curprev 10:1510:15, 26 January 2012‎ Michael Leuschel talk contribs‎ 2,907 bytes 0‎ No edit summary
curprev 10:1410:14, 26 January 2012‎ Michael Leuschel talk contribs‎ 2,907 bytes +118‎ No edit summary
curprev 10:1010:10, 26 January 2012‎ Michael Leuschel talk contribs‎ 2,789 bytes +463‎ No edit summary
curprev 10:0910:09, 26 January 2012‎ Michael Leuschel talk contribs‎ 2,326 bytes +249‎ No edit summary
curprev 10:0610:06, 26 January 2012‎ Michael Leuschel talk contribs‎ 2,077 bytes +791‎ No edit summary

14 April 2011

curprev 13:5013:50, 14 April 2011‎ Joy Clark talk contribs‎ m 1,286 bytes +1‎ grammatical edits, punctuation edits

18 January 2010

curprev 16:1716:17, 18 January 2010‎ Jens Bendisposto talk contribs‎ 1,285 bytes 0‎ No edit summary
curprev 16:1616:16, 18 January 2010‎ Jens Bendisposto talk contribs‎ 1,285 bytes +1,285‎ Created page with 'Category:User Manual Category: Advanced Feature Take the following function: CONSTANTS parity PROPERTIES parity : (NATURAL --> {0,1}) & parity(0) = 0 & !x.(x:NA…'

Retrieved from "https://prob.hhu.de/w/index.php?title=Recursively_Defined_Functions"

Contact

Heinrich-Heine-University
Institut für Software und Programmiersprachen
To Website. Datenschutz/Privacy Policy.

Licence

All ProB components and source code
is distributed under the EPL v1.0 license.

Copyright © Heinrich-Heine-University, Institut für Software und Programmiersprachen 2021