Track the most recent changes to the wiki on this page.
12:25 | Free Types diffhist +920 Vella talk contribs |
|
12:12 | Summary of B Syntax 3 changes history +84 [Vella (3×)] | |||
|
12:12 (cur | prev) +20 Vella talk contribs (→Freetypes) | ||||
|
12:11 (cur | prev) +1 Vella talk contribs (→Freetypes) | ||||
|
12:05 (cur | prev) +51 Vella talk contribs (→Freetypes: add link to dedicated page) |
12:11 | Move log Vella talk contribs moved page Freetypes to Free Types |
|
N 12:11 | Freetypes 2 changes history +441 [Vella (2×)] | |||
|
12:11 (cur | prev) +76 Vella talk contribs | ||||
N |
|
12:02 (cur | prev) +365 Vella talk contribs (Created page with "Freetypes exist in Z and in the Rodin theory plugin and are supported by ProB. You can also define new freetypes in classical B by adding a FREETYPES clause with equations separated by semicolon. Here is a definition of an inductive type IntList for lists of integers constructed using inil and icons: <pre> FREETYPES IntList = inil, icons(INTEGER*IntList) </pre>") |
11:02 | User creation log User account Vella talk contribs was created by Michael Leuschel talk contribs and password was sent by email |
|
11:29 | Summary of B Syntax 2 changes history +240 [Jan Gruteser (2×)] | |||
|
11:29 (cur | prev) +99 Jan Gruteser talk contribs (→Definitions:: add ref to uml) | ||||
|
11:23 (cur | prev) +141 Jan Gruteser talk contribs (→Definitions:: add ref to CUSTOM_GRAPH) |